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
by Jörg H. Siekmann, Dieter Hutter, and Werner Stephan
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
2005, Springer
in English
3540250514 9783540250517
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Festschrift.
Also issued online.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| April 3, 2019 | Created by MARC Bot | import existing book |