Check order status

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

phone

Contact

phone

Help

My account

▸ Empty :-(

0

Book Automated Theorem Proving W. W Bledsoe

Automated Theorem Proving

Donald W. Loveland

Language

English

Book Paperback

Book Automated Theorem Proving W. W Bledsoe

Libristo code: 06306933

Publishers American Mathematical Society, December 1984

Libristo code: 06306933

?

points

187 b

77.30 €

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Die Europaisierung des deutschen Apothekenrechts. Europarechtliche Notwendigkeit und nationalrechtliche Vertretbarkeit einer Liberalisierung Pia Tamke

/

Paperback

36.22 €

VAIANA 2 - Les Grands Classiques Disney - L'histoire du film - DISNEY PRINCESSES

/

Hardback

15.53 €

Einführung in die Lineare und Nichtlineare Optimierung für Ingenieure Werner Krabs

/

Paperback

47.12 €

Or Du Roi. Les Aventures Du Capitaine Alatriste, T. 4(l') T4 Arturo P'Rez-Reverte

/

Paperback

10.99 €

Coloriages mystères - Schtroumpfs Alexandre Karam

/

Paperback

21.59 €

Energía eólica GIL GARCIA

/

Paperback

42.48 €

Lo que Einstein le contó a su barbero Robert L. Wolke

/

Paperback

13.62 €

de Damas A Palmyre, Fragment Inedit d'Un Voyage En Orient Jules-Xavier Saguez De Breuvery

/

Paperback

18.36 €

Twisted Wonderland: Der Manga 2 Yana Toboso

/

Hardback

12.71 €

Droit de Lentreprise Houssaini-A

/

Paperback

44.40 €

Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública Obra colectiva

/

Paperback

41.88 €

Conmigo, pero sin ti Vicente Campos

/

Paperback

25.02 €

Afrikas Tierwelt. Kinderpuzzle 30 Teile

/

Game

6.75 €

Essais De Politique Et De Litterature (1863) Lucien Anatole Prevost-Paradol

/

Paperback

36.32 €

3 Duos Joseph Küffner

/

Sheet music

25.83 €

Gustavo, El Fantasmita Tímido Flavia Z. Drago

/

Hardback

15.03 €

FICK DICH! - 20 bitterböse Ausmal-Postkarten zum kreativen Abkotzen

/

Paperback

7.76 €

Bisaddii Anbatay Sayid-Axmed M. Yuusuf (Dhegey)

/

Paperback

7.36 €

Actress & Polyglot

EWA KASP for

Play video

Ewa Kasp

Ewa Kasp

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Theorem Proving

Author W. W Bledsoe, Donald W. Loveland

Language

English

Binding Book - Paperback

Date of issue 1984

EAN 9780821850275

ISBN 9780821850275

Libristo code 06306933

Publishers American Mathematical Society

Weight 486

Dimensions 252 x 171 x 14

Categories

Mathematics & Science > Mathematics > Mathematical foundations

Give this book today

It's easy

1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Blockchain Unchained Paul a Tatro

/

Paperback

26.43 €

From Smart Grid to Internet of Energy Ersan Kabalci

/

Paperback

142.60 €

Equity Smart Beta and Factor Investing for Practitioners Khalid Ghayur

/

Hardback

27.04 €

Serious Concerns Wendy Cope

/

Hardback

13.92 €

Following Elvis Before and After Rechey Davidson

/

Paperback

22.80 €

Berserk Deluxe Volume 2 Kentaro Miura

/

Hardback

36.93 €

S Factor Ashley Lounds Brooks

/

Paperback

5.74 €

Practical Brickwork: With Numerous Engravings and Diagrams Paul N Hasluck

/

Paperback

14.83 €

WarCraft:The Sunwell Trilogy #3: Ghostlands Richard A. Knaak

/

Paperback

12.20 €

Should We Wear School Uniforms? Tony Stead

/

Paperback

6.75 €

Rhizomatic Reflections Baiju Markose

/

Hardback

32.59 €

My Turn: A Life of Total Football Johan Cruyff

/

Paperback

15.73 €

She and Allan H. Rider Haggard

/

Paperback

11.19 €

Oxford Heroes 3: Workbook Jenny Quintana

/

Paperback

10.89 €

HOUGHTON MIFFLIN READING LEVEL Houghton Mifflin Company

/

Hardback

47.12 €

Active Birth Janet Balaskas

/

Paperback

20.88 €

Robins! Eileen Christelow

/

Hardback

15.73 €

The CSB Study Bible for Women, Hardcover Csb Bibles By Holman

/

Hardback

35.42 €

Populist Temptation Eichengreen

/

Paperback

18.66 €

Japanese Grammar: A Workbook for Self-Study Masahiro Tanimori

/

Paperback

13.51 €

Art Game CAHILL JAMES/SOMMER

/

Cards

13.21 €

DBT Therapeutic Activity Ideas for Kids and Caregivers Carol Lozier

/

Paperback

23.00 €

Emotion-Focused Counselling in Action Leslie Greenberg

/

Paperback

27.34 €

Clark's Essential Guide to Clinical Ultrasound Gill Harrison

/

Paperback

46.72 €