Interactive Theorem Proving Image close
Interactive Theorem Proving
Interactive Theorem Proving
Show Hide Adult Content
Interactive Theorem Proving close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.50 with Afterpay Learn more

6 weekly interest-free payments of $25.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Computer Vision Systems
$159.00
Computer Vision Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Quantitative Evaluation of Systems
$152.00
Quantitative Evaluation of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Topics in Theoretical Computer Science
$151.00
Topics in Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Queueing Theory and Network Applications
$151.00
Queueing Theory and Network Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$151.00
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation: Extending Horizons of Computing
$139.00
Reversible Computation: Extending Horizons of Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Satisfiability Testing - SAT 2014
$156.00
Theory and Applications of Satisfiability Testing - SAT 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning – ICANN 2017
$292.00
Artificial Neural Networks and Machine Learning – ICANN 2017
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Data Driven Applications Systems
$151.00
Dynamic Data Driven Applications Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$154.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$151.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$267.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$292.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Wireless Algorithms, Systems, and Applications
$160.00
Wireless Algorithms, Systems, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$149.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2019: Parallel Processing Workshops
$292.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Release date NZ
August 2nd, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Freek Wiedijk
  • Edited by Herman Geuvers
  • Edited by Julien Schmaltz
  • Edited by Marko Van Eekelen
Illustrations
XI, 383 p.
Pages
383
Dimensions
155x235x23
ISBN-13
9783642228629
Product ID
16083183

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence