Menu
Află starea comenzii
Contactați-ne
Carte Automated Theorem Proving W. W Bledsoe

Automated Theorem Proving

Autor: W. W Bledsoe, Donald W. Loveland
Limbă: engleză
Legare: Carte broșată
Editura: American Mathematical Society

Informații despre carte

Autor
W. W Bledsoe, Donald W. Loveland
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1984
EAN
9780821850275
ISBN
9780821850275
Enbook ID
06306933
Editura
American Mathematical Society
Greutate
486
Dimensiuni
252 x 171 x 14

Descriere completă

S-ar putea să te intereseze

From Smart Grid to Internet of Energy

Ersan Kabalci
755.93 lei

Clean Architecture

Robert C. Martin
161.31 lei

Robins!

Eileen Christelow
85.04 lei

Active Birth

Janet Balaskas
105.42 lei

HOUGHTON MIFFLIN READING LEVEL

Houghton Mifflin Company
250.79 lei

The CSB Study Bible for Women, Hardcover

Csb Bibles By Holman
193.09 lei

My Turn: A Life of Total Football

Johan Cruyff
85.04 lei

Rhizomatic Reflections

Baiju Markose
176.64 lei

Blockchain Unchained

Paul a Tatro
140.52 lei

WarCraft:The Sunwell Trilogy #3: Ghostlands

Richard A. Knaak
58.40 lei

Practical Brickwork: With Numerous Engravings and Diagrams

Paul N Hasluck
79.19 lei

S Factor

Ashley Lounds Brooks
29.15 lei

Berserk Deluxe Volume 2

Kentaro Miura
188.25 lei

Following Elvis Before and After

Rechey Davidson
122.26 lei

Serious Concerns

Wendy Cope
75.66 lei

Equity Smart Beta and Factor Investing for Practitioners

Khalid Ghayur
137.60 lei

On Sociology Second Edition Volume One

John H Goldthorpe
134.88 lei

Populist Temptation

Eichengreen
97.04 lei

Art Game

CAHILL JAMES/SOMMER
67.18 lei

DBT Therapeutic Activity Ideas for Kids and Caregivers

Carol Lozier
124.79 lei

Emotion-Focused Counselling in Action

Leslie Greenberg
139.11 lei

Clark's Essential Guide to Clinical Ultrasound

Gill Harrison
255.03 lei

How to Take Smart Notes

Soenke Ahrens
93.31 lei

Chainsaw Man Box Set

Tatsuki Fujimoto
462.15 lei

Clienții care au cumpărat această carte au mai cumpărat și

Coloriages mystères - Schtroumpfs

Alexandre Karam
109.65 lei

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

78.78 lei

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

Pia Tamke
193.49 lei

Twisted Wonderland: Der Manga 2

Yana Toboso
76.46 lei

Energía eólica

GIL GARCIA
216.79 lei

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

47.71 lei

Droit de Lentreprise

Houssaini-A
256.95 lei

Conmigo, pero sin ti

Vicente Campos
128.12 lei

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

Werner Krabs
271.17 lei

Essais De Politique Et De Litterature (1863)

Lucien Anatole Prevost-Paradol
193.69 lei

Gustavo, El Fantasmita Tímido

Flavia Z. Drago
81.30 lei

Bisaddii Anbatay

Sayid-Axmed M. Yuusuf (Dhegey)
52.76 lei

3 Duos

Joseph Küffner
131.34 lei

Afrikas Tierwelt. Kinderpuzzle 30 Teile

36.51 lei

Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública

Obra colectiva
213.47 lei

Lo que Einstein le contó a su barbero

Robert L. Wolke
69.70 lei

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

Arturo P'Rez-Reverte
55.68 lei

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

Jules-Xavier Saguez De Breuvery
98.15 lei