Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Theorem Proving

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Theorem Proving W. W Bledsoe
Libristo-code: 06306933
Uitgeverij American Mathematical Society, december 1984
? points 187 b
77.56 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

TOP
Coloriages mystères - Schtroumpfs Alexandre Karam / Boek Gebonden (paperback)
common.buy 21.56 €
VAIANA 2 - Les Grands Classiques Disney - L'histoire du film - DISNEY PRINCESSES / Boek Gebonden (harde band)
common.buy 15.48 €
Die Europaisierung des deutschen Apothekenrechts. Europarechtliche Notwendigkeit und nationalrechtliche Vertretbarkeit einer Liberalisierung Pia Tamke / Boek Gebonden (paperback)
common.buy 36.34 €
Twisted Wonderland: Der Manga 2 Yana Toboso / Boek Gebonden (harde band)
common.buy 12.75 €
Energía eólica GIL GARCIA / Boek Gebonden (paperback)
common.buy 42.72 €
FICK DICH! - 20 bitterböse Ausmal-Postkarten zum kreativen Abkotzen / Boek Gebonden (paperback)
common.buy 9.81 €
Droit de Lentreprise Houssaini-A / Boek Gebonden (paperback)
common.buy 44.55 €
Conmigo, pero sin ti Vicente Campos / Boek Gebonden (paperback)
common.buy 25.20 €
Einführung in die Lineare und Nichtlineare Optimierung für Ingenieure Werner Krabs / Boek Gebonden (paperback)
common.buy 47.28 €
Essais De Politique Et De Litterature (1863) Lucien Anatole Prevost-Paradol / Boek Gebonden (paperback)
common.buy 36.44 €
Gustavo, El Fantasmita Tímido Flavia Z. Drago / Boek Gebonden (harde band)
common.buy 15.08 €
Bisaddii Anbatay Sayid-Axmed M. Yuusuf (Dhegey) / Boek Gebonden (paperback)
common.buy 7.38 €
3 Duos Joseph Küffner / Drukwerk Bladmuziek
common.buy 27.23 €
Afrikas Tierwelt. Kinderpuzzle 30 Teile / Spel/speelgoed Spel
common.buy 6.77 €
Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública Obra colectiva / Boek Gebonden (paperback)
common.buy 42.01 €
Lo que Einstein le contó a su barbero Robert L. Wolke / Boek Gebonden (paperback)
common.buy 13.76 €
Or Du Roi. Les Aventures Du Capitaine Alatriste, T. 4(l') T4 Arturo P'Rez-Reverte / Boek Gebonden (paperback)
common.buy 10.93 €
de Damas A Palmyre, Fragment Inedit d'Un Voyage En Orient Jules-Xavier Saguez De Breuvery / Boek Gebonden (paperback)
common.buy 18.42 €
Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Theorem Proving
Auteur W. W Bledsoe, Donald W. Loveland
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1984
EAN 9780821850275
ISBN 9780821850275
Libristo-code 06306933
Uitgeverij American Mathematical Society
Gewicht 486
Afmetingen 252 x 171 x 14

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

From Smart Grid to Internet of Energy Ersan Kabalci / Boek Gebonden (paperback)
common.buy 143.07 €
TOP
Clean Architecture Robert C. Martin / Boek Gebonden (paperback)
common.buy 29.96 €
Robins! Eileen Christelow / Boek Gebonden (harde band)
common.buy 15.79 €
Active Birth Janet Balaskas / Boek Gebonden (paperback)
common.buy 22.17 €
HOUGHTON MIFFLIN READING LEVEL Houghton Mifflin Company / Boek Gebonden (harde band)
common.buy 46.77 €
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Boek Gebonden (harde band)
common.buy 35.94 €
My Turn: A Life of Total Football Johan Cruyff / Boek Gebonden (paperback)
common.buy 15.79 €
Rhizomatic Reflections Baiju Markose / Boek Gebonden (harde band)
common.buy 32.70 €
Blockchain Unchained Paul a Tatro / Boek Gebonden (paperback)
common.buy 26.52 €
TOP
WarCraft:The Sunwell Trilogy #3: Ghostlands Richard A. Knaak / Boek Gebonden (paperback)
common.buy 12.24 €
Practical Brickwork: With Numerous Engravings and Diagrams Paul N Hasluck / Boek Gebonden (paperback)
common.buy 14.88 €
Voordelig
S Factor Ashley Lounds Brooks / Boek Gebonden (paperback)
common.buy 5.76 €
TOP
Berserk Deluxe Volume 2 Kentaro Miura / Boek Gebonden (harde band)
common.buy 40.49 €
Following Elvis Before and After Rechey Davidson / Boek Gebonden (paperback)
common.buy 22.88 €
Serious Concerns Wendy Cope / Boek Gebonden (harde band)
common.buy 14.88 €
Equity Smart Beta and Factor Investing for Practitioners Khalid Ghayur / Boek Gebonden (harde band)
common.buy 28.75 €
On Sociology Second Edition Volume One John H Goldthorpe / Boek Gebonden (paperback)
common.buy 25.20 €
Populist Temptation Eichengreen / Boek Gebonden (paperback)
common.buy 18.01 €
Art Game CAHILL JAMES/SOMMER / Drukwerk Speelkaarten
common.buy 14.07 €
TOP
DBT Therapeutic Activity Ideas for Kids and Caregivers Carol Lozier / Boek Gebonden (paperback)
common.buy 23.08 €
Emotion-Focused Counselling in Action Leslie Greenberg / Boek Gebonden (paperback)
common.buy 27.33 €
Clark's Essential Guide to Clinical Ultrasound Gill Harrison / Boek Gebonden (paperback)
common.buy 46.87 €
TOP
How to Take Smart Notes Soenke Ahrens / Boek Gebonden (paperback)
common.buy 17.51 €
TOP
Chainsaw Man Box Set Tatsuki Fujimoto / Boek Gebonden (paperback)
common.buy 85.66 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?