Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Theorem Proving

Limba englezăengleză
Carte Carte broșată
Carte Automated Theorem Proving A Neier
Codul Libristo: 06615457
Editura Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Since both the coments and the structure of the book appeared to be successful, only minor changes w... Descrierea completă
? points 263 b
566.56 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

L'Ecole de Leon Serge Bloch / Carte Carte broșată
common.buy 84.49 lei
Snadno & Rychle 3 Jana Vaňková / Carte Copertă tare
common.buy 73.52 lei
Jóskönyv Müller Péter / Carte Copertă tare
common.buy 75.90 lei
JIM MORRISON ALBERTO MANZANO / Carte Copertă tare
common.buy 131.30 lei
SCHMEIL-FITSCHEN Die Flora Deutschlands und angrenzender Länder Jens G. Rohwer / Carte Copertă tare
common.buy 260.02 lei
Paul Flora FLORA PAUL / Carte Copertă tare
common.buy 204.83 lei
MARIA LA JABALINA DURAN / Carte Carte
common.buy 153.15 lei
Top
Writing a Usable Past Angela Brintlinger / Carte Copertă tare
common.buy 178.73 lei
Kultur- und Baugeschichte der sächsischen Vieh- und Schlachthöfe Ulrich Hübner / Carte Carte broșată
common.buy 61.71 lei
L'Aventurier Nocturne Buscon, Histoire Facecieuse DE QUEVEDO-F / Carte Carte broșată
common.buy 116.18 lei
Buntstift, Wasserfarbe & Wachsmalkreide - STABILO woody 3 in 1 - 10er Pack - mit 10 verschiedenen Farben / Articole de papetărie Articole de papetărie
common.buy 110.80 lei
Sniezka musi umrzec Nele Neuhaus / Audio Audio CD
common.buy 43.07 lei
Der Holocaust Julian Kümmerle / Carte Carte broșată
common.buy 42.86 lei
Le Chateau de la Rochette A Pont-d'Aisy, Son Origine & Ses Seigneurs Fontaine-L / Carte Carte broșată
common.buy 84.91 lei
Barrierefreie Informationstechnik Torsten Kulick / Carte Carte broșată
common.buy 260.96 lei
Die NEUE Kinder-Uni Wissens-Box, 7 Audio-CDs Volker Ufertinger / Audio Audio CD
common.buy 130.89 lei
I libri commemoriali della Republica di Venezia 8 Volume Set Riccardo Predelli / Carte Copertă tare
common.buy 2 213.03 lei
miniLÜK. Tl.2 Heinz Vogel / Carte Foaie
common.buy 42.86 lei

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro­ ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi­ ble advances in computer technology let it appear as a real possibility.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Automated Theorem Proving
Autor A Neier
Limba engleză
Legare Carte - Carte broșată
Număr pagini 289
EAN 9783528185206
ISBN 9783528185206
Codul Libristo 06615457
Editura Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Greutatea 597
Dimensiuni 170 x 244 x 17

Categorii

Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Financial Inclusion for Poverty Alleviation Essam Yassin Mohammed / Carte Copertă tare
common.buy 1 139.34 lei
Travels in Upper and Lower Egypt Vivant Denon / Carte Carte broșată
common.buy 234.24 lei
Political Biography of John Toland Michael Brown / Carte Carte broșată
common.buy 409.98 lei
Girl Who Loved Wild Horses Paul Goble / Carte Copertă tare
common.buy 87.29 lei
When Power Meets Potential T D Jakes / Carte Carte broșată
common.buy 90.40 lei
The Egyptian Fortune Teller - Your Fortune for Every Day Anon / Carte Carte broșată
common.buy 116.49 lei
Devotions for the Alcoholic Christian Carl Nelson / Carte Carte broșată
common.buy 74.86 lei
Opening Repertoire for the Attacking Player Eduard Gufeld / Carte Carte broșată
common.buy 83.87 lei
Understanding Dunblane and Other Massacres Peter Aylward / Carte Carte broșată
common.buy 291.09 lei
The Big Holly Jolly Activity Book: The Perfect Xmas Gift For Children Ages 4-8. Includes Christmas Holiday Puzzles, Mazes, Connect The Dots, Coloring Julie Reddy / Carte Carte broșată
common.buy 46.80 lei
Climate Change, Ozone Depletion and Air Pollution: Legal Commentaries Within the Context of Science and Policy Alexander Gillespie / Carte Copertă tare
common.buy 1 346.77 lei
Syriac documents attributed to the first three centuries Benjamin Plummer Pratten / Carte Carte broșată
common.buy 89.26 lei
WATCHMAN ON THE WALL V02 Ronald Harvell / Carte Carte broșată
common.buy 79.83 lei
Bloom Olympiad Physics Class 11th (E) Dhramendra Singh / Carte Carte broșată
common.buy 297.41 lei
Into the End MATHOMO L. MAKGALE / Carte Carte broșată
common.buy 90.40 lei
The Vixen Regent Ralph Lawrence / Carte Carte broșată
common.buy 76.31 lei
Air Jordan Price Guide 2013 (Black/White) Michael Tran / Carte Carte broșată
common.buy 135.65 lei
History of the Knights Templar of the State of Pennsylvania Alfred Creigh / Carte Carte broșată
common.buy 197.06 lei
Pekoe Most Poison Laura Childs / Carte Carte broșată
common.buy 46.80 lei
Military and Civilian Pay Levels, Trends, and Recruit Quality James Hosek / Carte Carte broșată
common.buy 161.33 lei
Embracing Life After Loss Allen Klein / Carte Carte broșată
common.buy 71.34 lei
The Pangerman Plot Unmasked: Berlin's Formidable Peace-Trap of The Drawn War Andre Cheradame / Carte Copertă tare
common.buy 183.50 lei
Top
Complete Spanish Step-by-Step, Premium Second Edition Barbara Bregstein / Carte Carte broșată
common.buy 112.35 lei
Superhero Superstars: Tom Holland Martha London / Carte Copertă tare
common.buy 154.19 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?