Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Theorem Proving

Language EnglishEnglish
Book Paperback
Book Automated Theorem Proving W. W Bledsoe
Libristo code: 06306933
Publishers American Mathematical Society, December 1984
? points 202 b
29 238 Ft
50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Top
Coloriages mystères - Schtroumpfs Alexandre Karam / Book Paperback
common.buy 7 558 Ft
VAIANA 2 - Les Grands Classiques Disney - L'histoire du film - DISNEY PRINCESSES / Book Hardback
common.buy 5 430 Ft
Die Europaisierung des deutschen Apothekenrechts. Europarechtliche Notwendigkeit und nationalrechtliche Vertretbarkeit einer Liberalisierung Pia Tamke / Book Paperback
common.buy 13 715 Ft
Twisted Wonderland: Der Manga 2 Yana Toboso / Book Hardback
common.buy 4 923 Ft
Energía eólica GIL GARCIA / Book Paperback
common.buy 14 948 Ft
FICK DICH! - 20 bitterböse Ausmal-Postkarten zum kreativen Abkotzen / Book Paperback
common.buy 3 288 Ft
Droit de Lentreprise Houssaini-A / Book Paperback
common.buy 17 062 Ft
Conmigo, pero sin ti Vicente Campos / Book Paperback
common.buy 8 833 Ft
Einführung in die Lineare und Nichtlineare Optimierung für Ingenieure Werner Krabs / Book Paperback
common.buy 18 017 Ft
Essais De Politique Et De Litterature (1863) Lucien Anatole Prevost-Paradol / Book Paperback
common.buy 13 728 Ft
Gustavo, El Fantasmita Tímido Flavia Z. Drago / Book Hardback
common.buy 5 791 Ft
Bisaddii Anbatay Sayid-Axmed M. Yuusuf (Dhegey) / Book Paperback
common.buy 2 768 Ft
3 Duos Joseph Küffner / Printed items Sheet music
common.buy 9 052 Ft
Afrikas Tierwelt. Kinderpuzzle 30 Teile / Game/Toy Game
common.buy 2 608 Ft
Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública Obra colectiva / Book Paperback
common.buy 14 715 Ft
Lo que Einstein le contó a su barbero Robert L. Wolke / Book Paperback
common.buy 4 809 Ft
Or Du Roi. Les Aventures Du Capitaine Alatriste, T. 4(l') T4 Arturo P'Rez-Reverte / Book Paperback
common.buy 3 836 Ft
de Damas A Palmyre, Fragment Inedit d'Un Voyage En Orient Jules-Xavier Saguez De Breuvery / Book Paperback
common.buy 6 951 Ft
Actress & Polyglot
EWA KASP for
Play video
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

From Smart Grid to Internet of Energy Ersan Kabalci / Book Paperback
common.buy 53 324 Ft
Top
Clean Architecture Robert C. Martin / Book Paperback
common.buy 11 486 Ft
Robins! Eileen Christelow / Book Hardback
common.buy 6 083 Ft
Active Birth Janet Balaskas / Book Paperback
common.buy 7 558 Ft
HOUGHTON MIFFLIN READING LEVEL Houghton Mifflin Company / Book Hardback
common.buy 18 017 Ft
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Book Hardback
common.buy 13 541 Ft
My Turn: A Life of Total Football Johan Cruyff / Book Paperback
common.buy 6 083 Ft
Rhizomatic Reflections Baiju Markose / Book Hardback
common.buy 12 600 Ft
Blockchain Unchained Paul a Tatro / Book Paperback
common.buy 9 919 Ft
Top
WarCraft:The Sunwell Trilogy #3: Ghostlands Richard A. Knaak / Book Paperback
common.buy 4 288 Ft
Practical Brickwork: With Numerous Engravings and Diagrams Paul N Hasluck / Book Paperback
common.buy 5 617 Ft
Affordable
S Factor Ashley Lounds Brooks / Book Paperback
common.buy 2 014 Ft
Top
Berserk Deluxe Volume 2 Kentaro Miura / Book Hardback
common.buy 13 468 Ft
Following Elvis Before and After Rechey Davidson / Book Paperback
common.buy 8 673 Ft
Serious Concerns Wendy Cope / Book Hardback
common.buy 5 215 Ft
Equity Smart Beta and Factor Investing for Practitioners Khalid Ghayur / Book Hardback
common.buy 9 846 Ft
On Sociology Second Edition Volume One John H Goldthorpe / Book Paperback
common.buy 9 586 Ft
Populist Temptation Eichengreen / Book Paperback
common.buy 7 211 Ft
Art Game CAHILL JAMES/SOMMER / Printed items Cards
common.buy 4 795 Ft
Top
DBT Therapeutic Activity Ideas for Kids and Caregivers Carol Lozier / Book Paperback
common.buy 8 906 Ft
Emotion-Focused Counselling in Action Leslie Greenberg / Book Paperback
common.buy 9 586 Ft
Clark's Essential Guide to Clinical Ultrasound Gill Harrison / Book Paperback
common.buy 17 670 Ft
Top
How to Take Smart Notes Soenke Ahrens / Book Paperback
common.buy 6 604 Ft
Top
Chainsaw Man Box Set Tatsuki Fujimoto / Book Paperback
common.buy 32 471 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?