An edition of Theory Reasoning in Connection Calculi
(1998)
Theory Reasoning in Connection Calculi
1 edition
by Peter Baumgartner
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Automatic theorem proving| Edition | Availability |
|---|---|
1
|
zzzz
|
2
Theory Reasoning in Connection Calculi
December 28, 1998, Springer
Paperback
in English
- 1 edition
3540655093 9783540655091
|
aaaa
|
Book Details
Edition Notes
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created April 30, 2008
- 17 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 21, 2025 | Edited by ImportBot | Redacting ocaids |
| July 15, 2024 | Edited by MARC Bot | import existing book |
| December 7, 2022 | Edited by ImportBot | import existing book |
| June 1, 2022 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |