Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford

ISBN 10: 3540102310 ISBN 13: 9783540102311
Verlag: Springer-Verlag, 1980
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Softcover

Verkauft von Bookbot, Prague, Tschechien

AbeBooks-Verkäufer seit 7. Oktober 2023

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 - Sehr gut

Preis:
EUR 10,44
EUR 18,99 Versand
Versand von Tschechien nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen