✕

Automated Theorem Proving: A Logical Basis - 2 Angebote vergleichen

Bester Preis: € 50,50 (vom 05.02.2017)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
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
2
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