Menu
Zistiť 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
Väzba: Brožovaná
Vydavateľ: American Mathematical Society
Dostupnosť: 50 % šanca
Prehľadáme celý svet
75.15 €

Informácie o knihe

Autor
W. W Bledsoe, Donald W. Loveland
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1984
EAN
9780821850275
ISBN
9780821850275
Enbook ID
06306933
Vydavateľ
American Mathematical Society
Hmotnosť
486
Rozmery
252 x 171 x 14

Kompletný popis

Mohlo by vás zaujímať

From Smart Grid to Internet of Energy

Ersan Kabalci
132.95 €

Clean Architecture

Robert C. Martin
35.71 €

Robins!

Eileen Christelow
14.32 €

Active Birth

Janet Balaskas
18.83 €

HOUGHTON MIFFLIN READING LEVEL

Houghton Mifflin Company
45.32 €

The CSB Study Bible for Women, Hardcover

Csb Bibles By Holman
34.82 €

My Turn: A Life of Total Football

Johan Cruyff
14.32 €

Rhizomatic Reflections

Baiju Markose
29.72 €

Blockchain Unchained

Paul a Tatro
24.62 €

WarCraft:The Sunwell Trilogy #3: Ghostlands

Richard A. Knaak
13.24 €

Practical Brickwork: With Numerous Engravings and Diagrams

Paul N Hasluck
13.63 €

S Factor

Ashley Lounds Brooks
5.58 €

Berserk Deluxe Volume 2

Kentaro Miura
32.17 €

Following Elvis Before and After

Rechey Davidson
21.09 €

Serious Concerns

Wendy Cope
13.33 €

Equity Smart Beta and Factor Investing for Practitioners

Khalid Ghayur
24.52 €

On Sociology Second Edition Volume One

John H Goldthorpe
23.05 €

Populist Temptation

Eichengreen
16.38 €

Art Game

CAHILL JAMES/SOMMER
12.06 €

DBT Therapeutic Activity Ideas for Kids and Caregivers

Carol Lozier
20.99 €

Emotion-Focused Counselling in Action

Leslie Greenberg
29.13 €

Clark's Essential Guide to Clinical Ultrasound

Gill Harrison
45.42 €

How to Take Smart Notes

Soenke Ahrens
17.55 €

Chainsaw Man Box Set

Tatsuki Fujimoto
77.80 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Coloriages mystères - Schtroumpfs

Alexandre Karam
20.89 €

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

15.00 €

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

Pia Tamke
33.55 €

Twisted Wonderland: Der Manga 2

Yana Toboso
12.35 €

Energía eólica

GIL GARCIA
41.40 €

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

9.12 €

Droit de Lentreprise

Houssaini-A
43.16 €

Conmigo, pero sin ti

Vicente Campos
24.42 €

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

Werner Krabs
45.81 €

Essais De Politique Et De Litterature (1863)

Lucien Anatole Prevost-Paradol
33.55 €

Gustavo, El Fantasmita Tímido

Flavia Z. Drago
13.63 €

Bisaddii Anbatay

Sayid-Axmed M. Yuusuf (Dhegey)
7.15 €

3 Duos

Joseph Küffner
25.01 €

Afrikas Tierwelt. Kinderpuzzle 30 Teile

6.56 €

Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública

Obra colectiva
40.71 €

Lo que Einstein le contó a su barbero

Robert L. Wolke
13.33 €

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

Arturo P'Rez-Reverte
10.59 €

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

Jules-Xavier Saguez De Breuvery
16.97 €