An edition of Mechanizing mathematical reasoning
(2005)
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
1 edition
by Jörg H. Siekmann, Dieter Hutter, and Werner Stephan
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
2011, Springer London, Limited
in English
354032254X 9783540322542
|
zzzz
Libraries near you:
WorldCat
|
2
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
April 6, 2005, Springer
Paperback
in English
- 1 edition
3540250514 9783540250517
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called "Rechenvorrichtung" in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of. "
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 9, 2019 | Edited by MARC Bot | import existing book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |