Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) - Softcover
Inhaltsangabe
1988 154 Seiten 23,9 x 16,8 x 1,0 cm, Taschenbuch FT Prentice Hall, Altersfreigabe FSK ab 0 Jahre
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
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: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0273087819I5N00
Gebraucht kaufen
EUR 16,85
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 154 pp., paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Artikel-Nr. ZB1348498
Gebraucht kaufen
EUR 24,79
EUR 3,89 Versand
Versand innerhalb von USA
Versand innerhalb von USA
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. Artikel-Nr. 87465CB
Gebraucht kaufen
EUR 25,00
EUR 47,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
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. Artikel-Nr. 388350
Gebraucht kaufen
EUR 116,60
EUR 24,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar