Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Theorem Proving

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Theorem Proving W. W Bledsoe
Libristo kod: 06306933
Nakladnici American Mathematical Society, prosinac 1984
? points 187 b
77.48 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Top
Coloriages mystères - Schtroumpfs Alexandre Karam / Knjiga Meki uvez
common.buy 20.63 €
VAIANA 2 - Les Grands Classiques Disney - L'histoire du film - DISNEY PRINCESSES / Knjiga Tvrdi uvez
common.buy 14.86 €
Die Europaisierung des deutschen Apothekenrechts. Europarechtliche Notwendigkeit und nationalrechtliche Vertretbarkeit einer Liberalisierung Pia Tamke / Knjiga Meki uvez
common.buy 36.31 €
Twisted Wonderland: Der Manga 2 Yana Toboso / Knjiga Tvrdi uvez
common.buy 12.74 €
Energía eólica GIL GARCIA / Knjiga Meki uvez
common.buy 40.86 €
FICK DICH! - 20 bitterböse Ausmal-Postkarten zum kreativen Abkotzen / Knjiga Meki uvez
common.buy 8.99 €
Droit de Lentreprise Houssaini-A / Knjiga Meki uvez
common.buy 44.50 €
Conmigo, pero sin ti Vicente Campos / Knjiga Meki uvez
common.buy 24.17 €
Einführung in die Lineare und Nichtlineare Optimierung für Ingenieure Werner Krabs / Knjiga Meki uvez
common.buy 47.23 €
Essais De Politique Et De Litterature (1863) Lucien Anatole Prevost-Paradol / Knjiga Meki uvez
common.buy 36.41 €
Top
Gustavo, El Fantasmita Tímido Flavia Z. Drago / Knjiga Tvrdi uvez
common.buy 15.06 €
Bisaddii Anbatay Sayid-Axmed M. Yuusuf (Dhegey) / Knjiga Meki uvez
common.buy 7.37 €
3 Duos Joseph Küffner / Tiskanica Note
common.buy 24.37 €
Afrikas Tierwelt. Kinderpuzzle 30 Teile / Igra/Igračka Igra
common.buy 6.77 €
Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública Obra colectiva / Knjiga Meki uvez
common.buy 40.25 €
Lo que Einstein le contó a su barbero Robert L. Wolke / Knjiga Meki uvez
common.buy 13.14 €
Or Du Roi. Les Aventures Du Capitaine Alatriste, T. 4(l') T4 Arturo P'Rez-Reverte / Knjiga Meki uvez
common.buy 10.41 €
de Damas A Palmyre, Fragment Inedit d'Un Voyage En Orient Jules-Xavier Saguez De Breuvery / Knjiga Meki uvez
common.buy 18.40 €
Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Theorem Proving
Autor W. W Bledsoe, Donald W. Loveland
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1984
EAN 9780821850275
ISBN 9780821850275
Libristo kod 06306933
Nakladnici American Mathematical Society
Težina 486
Dimenzije 252 x 171 x 14

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

From Smart Grid to Internet of Energy Ersan Kabalci / Knjiga Meki uvez
common.buy 142.92 €
Top
Clean Architecture Robert C. Martin / Knjiga Meki uvez
common.buy 29.93 €
Robins! Eileen Christelow / Knjiga Tvrdi uvez
common.buy 15.77 €
Active Birth Janet Balaskas / Knjiga Meki uvez
common.buy 19.41 €
HOUGHTON MIFFLIN READING LEVEL Houghton Mifflin Company / Knjiga Tvrdi uvez
common.buy 46.72 €
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Knjiga Tvrdi uvez
common.buy 35.90 €
My Turn: A Life of Total Football Johan Cruyff / Knjiga Meki uvez
common.buy 15.77 €
Rhizomatic Reflections Baiju Markose / Knjiga Tvrdi uvez
common.buy 32.66 €
Blockchain Unchained Paul a Tatro / Knjiga Meki uvez
common.buy 26.49 €
Top
WarCraft:The Sunwell Trilogy #3: Ghostlands Richard A. Knaak / Knjiga Meki uvez
common.buy 11.62 €
Practical Brickwork: With Numerous Engravings and Diagrams Paul N Hasluck / Knjiga Meki uvez
common.buy 14.86 €
Povoljno
S Factor Ashley Lounds Brooks / Knjiga Meki uvez
common.buy 5.76 €
Top
Berserk Deluxe Volume 2 Kentaro Miura / Knjiga Tvrdi uvez
common.buy 35.60 €
Following Elvis Before and After Rechey Davidson / Knjiga Meki uvez
common.buy 22.85 €
Serious Concerns Wendy Cope / Knjiga Tvrdi uvez
common.buy 13.95 €
Equity Smart Beta and Factor Investing for Practitioners Khalid Ghayur / Knjiga Tvrdi uvez
common.buy 25.28 €
On Sociology Second Edition Volume One John H Goldthorpe / Knjiga Meki uvez
common.buy 25.18 €
Populist Temptation Eichengreen / Knjiga Meki uvez
common.buy 18.00 €
Art Game CAHILL JAMES/SOMMER / Tiskanica Karte
common.buy 12.43 €
Top
DBT Therapeutic Activity Ideas for Kids and Caregivers Carol Lozier / Knjiga Meki uvez
common.buy 23.05 €
Emotion-Focused Counselling in Action Leslie Greenberg / Knjiga Meki uvez
common.buy 25.79 €
Clark's Essential Guide to Clinical Ultrasound Gill Harrison / Knjiga Meki uvez
common.buy 46.83 €
Top
How to Take Smart Notes Soenke Ahrens / Knjiga Meki uvez
common.buy 17.49 €
Top
Chainsaw Man Box Set Tatsuki Fujimoto / Knjiga Meki uvez
common.buy 85.57 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?