Automated Theorem-proving in Non-classical Logics
Paul B. Thistlewaite, Michael A. McRobbie et Robert K. Meyer
ISBN 10: 0273087819 ISBN 13: 9780273087816
Published by FT Prentice Hall, 1988
Used
Softcover
From
Ammareal, Morangis, France
Seller rating 5 out of 5 stars
AbeBooks Seller since 29 August 2016
This specific item is no longer available.
About this Item
Description:
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
Bibliographic Details
Title: Automated Theorem-proving in Non-classical ...
Publisher: FT Prentice Hall
Publication Date: 1988
Binding: Softcover
Condition: Bon
Top Search Results from the AbeBooks Marketplace
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
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