Von dem Buch Automated Theorem Proving: A Logical Basis haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Loveland, D.W.: Automated Theorem Proving: A Logical Basis (ISBN: 9781483296777) 2014, North Holland, North Holland, North Holland, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
100%: Donald W. Loveland: Automated Theorem Proving: A Logical Basis (ISBN: 9780720404999) Elsevier Science & Technology Books, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Theorem Proving: A Logical Basis - 4 Angebote vergleichen
Bester Preis: € 55,38 (vom 27.07.2016)3
Automated Theorem Proving: A Logical Basis
EN HC NW
ISBN: 9780720404999 bzw. 0720404991, in Englisch, Elsevier Science & Technology Books, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
Automated-Theorem-Proving~~Donald-W-Loveland, Automated Theorem Proving: A Logical Basis, Hardcover.
Automated-Theorem-Proving~~Donald-W-Loveland, Automated Theorem Proving: A Logical Basis, Hardcover.
Lade…