Verwandte Artikel zu Automated Theorem-proving in Non-classical Logics (Research...
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) - Softcover
EUR 10,34
EUR 4,64 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Automated Theorem-proving in Non-classical Logics (Research...
Beispielbild für diese ISBN
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: 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. . Bestandsnummer des Verkäufers 7719-9780273087816
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem-proving in Non-classical Logics
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers G-122-195
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem-proving in Non-classical Logics
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers G-122-194
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated theorem-proving in non-classical logics.
Anbieter: Antiquariat Haufe & Lutz, Karlsruhe, BW, Deutschland
Verkäuferbewertung 4 von 5 Sternen
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. Bestandsnummer des Verkäufers 87465CB
Anzahl: 1 verfügbar
Foto des Verkäufers
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 388350
Anzahl: 1 verfügbar