Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:

ISBN 10: 0273087819 ISBN 13: 9780273087816
Verlag: FT Prentice Hall, 1988
Sprache: Englisch
Zustand: Gebraucht - Gut Softcover

Verkauft von NEPO UG, Rüsselsheim am Main, Deutschland

AbeBooks-Verkäufer seit 15. November 2018

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis:
EUR 116,60
EUR 24,00 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen