Items related to Automated Theorem-proving in Non-classical Logics (Research...
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) - Softcover
Search results for Automated Theorem-proving in Non-classical Logics (Research...
Stock Image
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9780273087816
Quantity: 1 available
Stock Image
Automated Theorem-proving in Non-classical Logics
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-122-195
Quantity: 1 available
Stock Image
Automated Theorem-proving in Non-classical Logics
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-122-194
Quantity: 1 available
Stock Image
Automated theorem-proving in non-classical logics.
Seller: Antiquariat Haufe & Lutz, Karlsruhe, BW, Germany
Seller rating 4 out of 5 stars
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. Seller Inventory # 87465CB
Quantity: 1 available
Seller Image
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 154 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 248 23,9 x 16,8 x 1,0 cm, Taschenbuch. Seller Inventory # 388350
Quantity: 1 available