✕

Machine Learning for Automated Theorem Proving - 6 Angebote vergleichen

Bester Preis: € 88,34 (vom 02.02.2022)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
9781680838985 - Holden, Sean B: Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Symbolbild
Holden, Sean B

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (2021)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB US

ISBN: 9781680838985 bzw. 1680838989, vermutlich in Englisch, Now Publishers, Norwell, MA, Taschenbuch, gebraucht, guter Zustand.

€ 92,58 ($ 104,25)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: DOM.
Von Händler/Antiquariat, GreatBookPrices-, MD, Columbia, [RE:4].
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locations. Over 3, 000, 000 happy customers. Trade paperback.
Mehr beobachten speichern
Bestellen bei Alibris.com
bezahlter Link
2
1680838989 - Sean B. Holden: Machine Learning for Automated Theorem Proving
Sean B. Holden

Machine Learning for Automated Theorem Proving

Lieferung erfolgt aus/von: Deutschland ~EN PB NW

ISBN: 1680838989 bzw. 9781680838985, vermutlich in Englisch, Now Publishers Inc, Taschenbuch, neu.

€ 116,49 + Versand: € 25,00 = € 141,49
unverbindlich
Machine Learning for Automated Theorem Proving ab 116.49 € als Taschenbuch: Learning to Solve SAT and QSAT. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,.
Mehr beobachten speichern
Bestellen bei Hugendubel.de (TB)
bezahlter Link
3
9781680838985 - Holden, Sean B.: Machine Learning for Automated Theorem Proving
Holden, Sean B.

Machine Learning for Automated Theorem Proving (2021)

Lieferung erfolgt aus/von: Deutschland ~EN PB NW RP

ISBN: 9781680838985 bzw. 1680838989, vermutlich in Englisch, Now Publishers Inc, Taschenbuch, neu, Nachdruck.

€ 130,59 ($ 147,04)¹ + Versand: € 45,05 ($ 50,73)¹ = € 175,64 ($ 197,77)¹
unverbindlich
Von Händler/Antiquariat, moluna [73551232], Greven, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.com
bezahlter Link
4
9781680838985 - Holden, Sean B: Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Holden, Sean B

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (2021)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB NW

ISBN: 9781680838985 bzw. 1680838989, vermutlich in Englisch, Now Publishers, Taschenbuch, neu.

€ 90,15 ($ 101,51)¹ + Versand: € 2,34 ($ 2,64)¹ = € 92,49 ($ 104,15)¹
unverbindlich
Von Händler/Antiquariat, GreatBookPrices [5352716], Columbia, MD, U.S.A.
Books.
Mehr beobachten speichern
Bestellen bei Abebooks.com
bezahlter Link
5
9781680838985 - Holden, Sean B: Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Symbolbild
Holden, Sean B

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (2021)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB US

ISBN: 9781680838985 bzw. 1680838989, vermutlich in Englisch, Now Publishers, Norwell, MA, Taschenbuch, gebraucht, guter Zustand.

€ 88,34 ($ 99,47)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: DOM.
Von Händler/Antiquariat, GreatBookPricesLB2, MD, Columbia, [RE:4].
Trade paperback.
Mehr beobachten speichern
Bestellen bei Alibris.com
bezahlter Link
6
9781680838985 - Holden, Sean B: Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Symbolbild
Holden, Sean B

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (2021)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB US

ISBN: 9781680838985 bzw. 1680838989, vermutlich in Englisch, Now Publishers, Norwell, MA, Taschenbuch, gebraucht, guter Zustand.

€ 101,03
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, plus shipping, Shipping area: DOM.
Von Händler/Antiquariat, GreatBookPrices, MD, Columbia, [RE:4].
Trade paperback.
Mehr beobachten speichern
Bestellen bei Alibris.co.uk
bezahlter Link