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
Proof theory, Modality (Logic), Künstliche Intelligenz, Prüfprogramm, Intuitionistic mathematics, Automatisches Beweisverfahren, Modalité (Logique), Preuve, Théorie de la, Nichtklassische Logik, Mathématiques intuitionnistes, Intuitionisme (Mathématiques), Logic, symbolic and mathematical, Artificial intelligenceShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
December 18, 1989, The MIT Press
Hardcover
in English
0262231441 9780262231442
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
August 17, 2024 | Edited by ImportBot | import existing book |
July 25, 2024 | Edited by MARC Bot | import existing book |
July 30, 2023 | Edited by ImportBot | import existing book |
May 3, 2023 | Edited by ImportBot | import existing book |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |