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
- PublisherHyperion Books
- ISBN 10 0273087819
- ISBN 13 9780273087816
- BindingPaperback
- LanguageEnglish
- Number of pages180
Search results for Automated Theorem-Proving in Non-Classical Logics (Research...
Seller Image
Automated Theorem-proving in Non-classical Logics. Research notes in theoretical computer science;
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 154 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 300. Seller Inventory # 1519567
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