Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Automated Theorem Proving W. W Bledsoe

Automated Theorem Proving

Autor: W. W Bledsoe, Donald W. Loveland
Język: Angielski
Oprawa: Miękka
Wydawca: American Mathematical Society
Dostępność: 50 % szansa
Przeszukamy cały świat
319.56 zł

Informacje o książce

Autor
W. W Bledsoe, Donald W. Loveland
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1984
EAN
9780821850275
ISBN
9780821850275
Enbook ID
06306933
Wydawca
American Mathematical Society
Waga
486
Wymiary
252 x 171 x 14

Pełny opis

Możesz być zainteresowany

From Smart Grid to Internet of Energy

Ersan Kabalci
588.98 zł

Clean Architecture

Robert C. Martin
123.43 zł

Robins!

Eileen Christelow
65.08 zł

Active Birth

Janet Balaskas
85.47 zł

HOUGHTON MIFFLIN READING LEVEL

Houghton Mifflin Company
192.61 zł

The CSB Study Bible for Women, Hardcover

Csb Bibles By Holman
148.21 zł

My Turn: A Life of Total Football

Johan Cruyff
65.08 zł

Rhizomatic Reflections

Baiju Markose
134.75 zł

Blockchain Unchained

Paul a Tatro
109.38 zł

WarCraft:The Sunwell Trilogy #3: Ghostlands

Richard A. Knaak
44.78 zł

Practical Brickwork: With Numerous Engravings and Diagrams

Paul N Hasluck
61.17 zł

S Factor

Ashley Lounds Brooks
23.70 zł

Berserk Deluxe Volume 2

Kentaro Miura
156.90 zł

Following Elvis Before and After

Rechey Davidson
94.35 zł

Serious Concerns

Wendy Cope
57.56 zł

Equity Smart Beta and Factor Investing for Practitioners

Khalid Ghayur
111.52 zł

On Sociology Second Edition Volume One

John H Goldthorpe
103.72 zł

Populist Temptation

Eichengreen
74.05 zł

Art Game

CAHILL JAMES/SOMMER
54.54 zł

DBT Therapeutic Activity Ideas for Kids and Caregivers

Carol Lozier
95.23 zł

Emotion-Focused Counselling in Action

Leslie Greenberg
112.79 zł

Clark's Essential Guide to Clinical Ultrasound

Gill Harrison
193.10 zł

How to Take Smart Notes

Soenke Ahrens
72.00 zł

Chainsaw Man Box Set

Tatsuki Fujimoto
352.54 zł

Klienci, którzy kupili tę książkę, kupili również

Coloriages mystères - Schtroumpfs

Alexandre Karam
88.88 zł

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

63.90 zł

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

Pia Tamke
149.68 zł

Twisted Wonderland: Der Manga 2

Yana Toboso
52.59 zł

Energía eólica

GIL GARCIA
175.73 zł

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

38.63 zł

Droit de Lentreprise

Houssaini-A
183.44 zł

Conmigo, pero sin ti

Vicente Campos
103.91 zł

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

Werner Krabs
194.66 zł

Essais De Politique Et De Litterature (1863)

Lucien Anatole Prevost-Paradol
149.87 zł

Gustavo, El Fantasmita Tímido

Flavia Z. Drago
61.95 zł

Bisaddii Anbatay

Sayid-Axmed M. Yuusuf (Dhegey)
30.34 zł

3 Duos

Joseph Küffner
106.45 zł

Afrikas Tierwelt. Kinderpuzzle 30 Teile

28.09 zł

Cuestionario Celador Conselleria de Sanidad Universal y Salud Pública

Obra colectiva
173.00 zł

Lo que Einstein le contó a su barbero

Robert L. Wolke
56.58 zł

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

Arturo P'Rez-Reverte
45.17 zł

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

Jules-Xavier Saguez De Breuvery
75.81 zł