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:

Automated Theorem Proving: A Logical Basis100%: 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…
Automated Theorem Proving: A Logical Basis100%: Donald W. Loveland: Automated Theorem Proving: A Logical Basis (ISBN: 9780720404999) Elsevier Science & Technology Books, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…
Im folgenden zeigen wir Ihnen alle derzeit lieferbaren Angebote aller dieser Bücher.
✕

Automated Theorem Proving: A Logical Basis - 4 Angebote vergleichen

Bester Preis: € 55,38 (vom 27.07.2016)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
9781483296777 - D.W. Loveland: Automated Theorem Proving
D.W. Loveland

Automated Theorem Proving

Lieferung erfolgt aus/von: Deutschland EN NW EB DL

ISBN: 9781483296777 bzw. 1483296776, in Englisch, neu, E-Book, elektronischer Download.

€ 70,99
unverbindlich
Lieferung aus: Deutschland, zzgl. Versandkosten.
A Logical Basis, A Logical Basis.
Mehr beobachten speichern
Bestellen bei Ebook.de (EB)
bezahlter Link
2
9781483296777 - Loveland, D.W.: Automated Theorem Proving: A Logical Basis
Loveland, D.W.

Automated Theorem Proving: A Logical Basis (2014)

Lieferung erfolgt aus/von: Frankreich EN NW EB DL

ISBN: 9781483296777 bzw. 1483296776, in Englisch, North Holland, North Holland, North Holland, neu, E-Book, elektronischer Download.

€ 55,38
versandkostenfrei, unverbindlich
Lieferung aus: Frankreich, in-stock.
Automated Theorem Proving: A Logical Basis.
Mehr beobachten speichern
Bestellen bei Kobobooks.fr
bezahlter Link
3
9780720404999 - Donald W. Loveland: Automated Theorem Proving: A Logical Basis
Donald W. Loveland

Automated Theorem Proving: A Logical Basis

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN HC NW

ISBN: 9780720404999 bzw. 0720404991, in Englisch, Elsevier Science & Technology Books, gebundenes Buch, neu.

€ 50,50 ($ 54,47)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
Automated-Theorem-Proving~~Donald-W-Loveland, Automated Theorem Proving: A Logical Basis, Hardcover.
Mehr beobachten speichern
Bestellen bei BarnesAndNoble.com
bezahlter Link
4
9780720404999 - Loveland, D.W.: Automated Theorem Proving: A Logical Basis
Loveland, D.W.

Automated Theorem Proving: A Logical Basis

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN NW EB

ISBN: 9780720404999 bzw. 0720404991, in Englisch, Elsevier Science, neu, E-Book.

€ 67,63 ($ 72,95)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Ebook for download.
Computers, Automated Theorem Proving: A Logical Basis, eBook.
Mehr beobachten speichern
Bestellen bei eBooks.com
bezahlter Link