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
- VerlagFT Prentice Hall
- Erscheinungsdatum1988
- ISBN 10 0273087819
- ISBN 13 9780273087816
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten154
Suchergebnisse für Automated Theorem-proving in Non-classical Logics (Research...
Foto des Verkäufers
Automated Theorem-proving in Non-classical Logics. Research notes in theoretical computer science;
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: 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. Bestandsnummer des Verkäufers 1519567
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