Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Symbolic and mathematical Logic, Theoremes, Theorie de la Preuve, Kunstmatige intelligentie, Logica, Congresses, Logique symbolique et mathematique, Automatic theorem proving, Congres, Demonstration automatique, Computer science, Artificial intelligence, Computer Science, Logic, symbolic and mathematicalShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)
September 10, 1993, Springer
Paperback
in English
- 1 edition
3540571841 9783540571841
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 4, 2021 | Edited by ImportBot | import existing book |
June 29, 2019 | Edited by MARC Bot | import existing book |
January 9, 2019 | Edited by MARC Bot | import existing book |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |