Verwandte Artikel zu First-Order Logic and Automated Theorem Proving (Texts...
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science) - Hardcover
- VerlagSpringer Verlag
- Erscheinungsdatum1990
- ISBN 10 0387972331
- ISBN 13 9780387972336
- EinbandTapa dura
- SpracheEnglisch
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für First-Order Logic and Automated Theorem Proving (Texts...
Beispielbild für diese ISBN
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-598-105
Anzahl: 1 verfügbar
Foto des Verkäufers
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. 242 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe. Artikel-Nr. 388362
Anzahl: 1 verfügbar