Handbook of Automated Reasoning: 001 (Handbook of Automated Reasoning)
5 Angebote vergleichen
Preise | 2013 | 2014 | 2015 |
---|---|---|---|
Schnitt | € 170,18 | € 160,40 | € 237,76 |
Nachfrage |
1
Symbolbild
Handbook of Automated Reasoning
EN HC NW
ISBN: 9780444829498 bzw. 0444829490, in Englisch, North-Holland, gebundenes Buch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Hardcover. 996 pages. Dimensions: 9.6in. x 6.6in. x 2.4in.This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Hardcover. 996 pages. Dimensions: 9.6in. x 6.6in. x 2.4in.This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Handbook of Automated Reasoning, Volume I (2001)
EN HC NW FE
ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, neu, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, ruk-ruk books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, ruk-ruk books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Handbook of Automated Reasoning, Volume I (2001)
EN HC US FE
ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anstinbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, anstinbooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…