Handbook of Automated Reasoning: 001 (Handbook of Automated Reasoning)
5 Angebote vergleichen

Preise201320142015
Schnitt 170,18 160,40 237,76
Nachfrage
1
9780444829498 - Handbook of Automated Reasoning
Symbolbild

Handbook of Automated Reasoning

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

ISBN: 9780444829498 bzw. 0444829490, in Englisch, North-Holland, gebundenes Buch, neu.

416,40 + Versand: 3,60 = 420,00
unverbindlich
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.
2
9780444829498 - Editor: Alan J.A. Robinson, Editor: Andrei Voronkov: Handbook of Automated Reasoning, Volume I
Editor: Alan J.A. Robinson, Editor: Andrei Voronkov

Handbook of Automated Reasoning, Volume I (2001)

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

ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, neu, Erstausgabe.

135,74 ($ 149,08)¹ + Versand: 3,63 ($ 3,99)¹ = 139,37 ($ 153,07)¹
unverbindlich
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
3
9780444829498 - Editor: Alan J.A. Robinson, Editor: Andrei Voronkov: Handbook of Automated Reasoning, Volume I
Editor: Alan J.A. Robinson, Editor: Andrei Voronkov

Handbook of Automated Reasoning, Volume I (2001)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN HC US FE

ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, 996 Seiten, North Holland, gebundenes Buch, gebraucht, Erstausgabe.

135,19 ($ 178,09)¹ + Versand: 3,03 ($ 3,99)¹ = 138,22 ($ 182,08)¹
unverbindlich
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
4
9780444829498 - Handbook of Automated Reasoning, Vol. I
Symbolbild

Handbook of Automated Reasoning, Vol. I

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

ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, Elsevier, neu, Erstausgabe.

161,91 + Versand: 3,03 = 164,94
unverbindlich
Von Händler/Antiquariat, Alden Books [58991492], New York, NY, U.S.A.
pp. 996 1st Edition.
5
9780444829498 - Handbook of Automated Reasoning, Volume I
Symbolbild

Handbook of Automated Reasoning, Volume I (2001)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland EN HC US

ISBN: 9780444829498 bzw. 0444829490, Band: 1, in Englisch, North Holland, gebundenes Buch, gebraucht.

134,46 + Versand: 5,15 = 139,61
unverbindlich
Von Händler/Antiquariat, ADONAI BOOKS [56886170], LIVERPOOL, MERS, United Kingdom.
LIKE NEW.
Lade…