Be Charmed by These Bewitching Books from 2025

Mechanizing Mathematical Reasoning > Editions

by Dieter Hutter First published April 6th 2005

Sort by
Format
Language
Editions
Showing 1-2 of 2
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605)
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605)
Published February 23rd 2005 by Springer
2005, Paperback, 580 pages
Author(s):
ISBN:
9783540250517 (ISBN10: 3540250514)
ASIN:
3540250514
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
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 2605)
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 2605)
Published March 29th 2011 by Springer
Kindle Edition
Author(s):
ISBN:
9783540322542 (ISBN10: 354032254X)
ASIN:
B0DF1PPMZQ
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