Be Charmed by These Bewitching Books from 2025

Interactive Theorem Proving > Editions

by Marko van Eekelen First published September 28th 2011

Sort by
Format
Language
Editions
Showing 1-2 of 2
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science Book 6898)
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science Book 6898)
Published August 2nd 2011 by Springer
Kindle Edition
Author(s):
ASIN:
B0DF17HX4S
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
Published August 2nd 2011 by Springer
2011, Paperback, 394 pages
Author(s):
ISBN:
9783642228629 (ISBN10: 3642228623)
ASIN:
3642228623
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page