Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Automated Theorem Proving W. W Bledsoe

Automated Theorem Proving

Autor: W. W Bledsoe, Donald W. Loveland
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: American Mathematical Society
Dostupnost: 50 % šance
Prohledáme celý svět
1 733 Kč

Informace o knize

Autor
W. W Bledsoe, Donald W. Loveland
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1984
EAN
9780821850275
ISBN
9780821850275
Enbook ID
06306933
Vydavatel
American Mathematical Society
Hmotnost
486
Rozměry
252 x 171 x 14

Kompletní popis

Mohlo by vás zajímat

From Smart Grid to Internet of Energy

Ersan Kabalci
3 217 Kč

Clean Architecture

Robert C. Martin
663 Kč

Robins!

Eileen Christelow
347 Kč

Active Birth

Janet Balaskas
445 Kč

HOUGHTON MIFFLIN READING LEVEL

Houghton Mifflin Company
1 037 Kč

The CSB Study Bible for Women, Hardcover

Csb Bibles By Holman
797 Kč

My Turn: A Life of Total Football

Johan Cruyff
324 Kč

Rhizomatic Reflections

Baiju Markose
720 Kč

Blockchain Unchained

Paul a Tatro
597 Kč

WarCraft:The Sunwell Trilogy #3: Ghostlands

Richard A. Knaak
258 Kč

Practical Brickwork: With Numerous Engravings and Diagrams

Paul N Hasluck
330 Kč

S Factor

Ashley Lounds Brooks
135 Kč

Berserk Deluxe Volume 2

Kentaro Miura
836 Kč

Following Elvis Before and After

Rechey Davidson
496 Kč

Serious Concerns

Wendy Cope
284 Kč

Equity Smart Beta and Factor Investing for Practitioners

Khalid Ghayur
595 Kč

On Sociology Second Edition Volume One

John H Goldthorpe
559 Kč

Populist Temptation

Eichengreen
396 Kč

Art Game

CAHILL JAMES/SOMMER
291 Kč

DBT Therapeutic Activity Ideas for Kids and Caregivers

Carol Lozier
474 Kč

Emotion-Focused Counselling in Action

Leslie Greenberg
759 Kč

Clark's Essential Guide to Clinical Ultrasound

Gill Harrison
1 048 Kč

How to Take Smart Notes

Soenke Ahrens
371 Kč

Chainsaw Man Box Set

Tatsuki Fujimoto
1 883 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Coloriages mystères - Schtroumpfs

Alexandre Karam
506 Kč

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

364 Kč

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

Pia Tamke
811 Kč

Twisted Wonderland: Der Manga 2

Yana Toboso
281 Kč

Energía eólica

GIL GARCIA
1 001 Kč

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

220 Kč

Droit de Lentreprise

Houssaini-A
984 Kč

Conmigo, pero sin ti

Vicente Campos
592 Kč

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

Werner Krabs
1 048 Kč

Essais De Politique Et De Litterature (1863)

Lucien Anatole Prevost-Paradol
812 Kč

Gustavo, El Fantasmita Tímido

Flavia Z. Drago
309 Kč

Bisaddii Anbatay

Sayid-Axmed M. Yuusuf (Dhegey)
164 Kč

3 Duos

Joseph Küffner
606 Kč

Afrikas Tierwelt. Kinderpuzzle 30 Teile

151 Kč

Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública

Obra colectiva
986 Kč

Lo que Einstein le contó a su barbero

Robert L. Wolke
322 Kč

Or Du Roi. Les Aventures Du Capitaine Alatriste, T. 4(l') T4

Arturo P'Rez-Reverte
257 Kč

de Damas A Palmyre, Fragment Inedit d'Un Voyage En Orient

Jules-Xavier Saguez De Breuvery
410 Kč