Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Automated Theorem Proving

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Theorem Proving A Neier
Код Либристо: 06615457
Издателство Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Since both the coments and the structure of the book appeared to be successful, only minor changes w... Цялото описание
? points 263 b
108.51 €
212.23  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

L'Ecole de Leon Serge Bloch / Книга С меки корици
common.buy 16.90 € 33.05 лв
Snadno & Rychle 3 Jana Vaňková / Книга С твърди корици
common.buy 14.06 € 27.49 лв
Jóskönyv Müller Péter / Книга С твърди корици
common.buy 15.40 € 30.12 лв
JIM MORRISON ALBERTO MANZANO / Книга С твърди корици
common.buy 26.41 € 51.66 лв
SCHMEIL-FITSCHEN Die Flora Deutschlands und angrenzender Länder Jens G. Rohwer / Книга С твърди корици
common.buy 49.83 € 97.47 лв
Paul Flora FLORA PAUL / Книга С твърди корици
common.buy 41.41 € 80.98 лв
MARIA LA JABALINA DURAN / Книга Книга
common.buy 30.76 € 60.15 лв
Top
Writing a Usable Past Angela Brintlinger / Книга С твърди корици
common.buy 36.39 € 71.18 лв
Kultur- und Baugeschichte der sächsischen Vieh- und Schlachthöfe Ulrich Hübner / Книга С меки корици
common.buy 11.21 € 21.93 лв
L'Aventurier Nocturne Buscon, Histoire Facecieuse DE QUEVEDO-F / Книга С меки корици
common.buy 21.24 € 41.55 лв
Buntstift, Wasserfarbe & Wachsmalkreide - STABILO woody 3 in 1 - 10er Pack - mit 10 verschiedenen Farben / Канцеларски материали Канцеларски материали
common.buy 21.24 € 41.55 лв
Sniezka musi umrzec Nele Neuhaus / Аудио Аудио компактдиск
common.buy 8.73 € 17.08 лв
Der Holocaust Julian Kümmerle / Книга С меки корици
common.buy 8.22 € 16.07 лв
Le Chateau de la Rochette A Pont-d'Aisy, Son Origine & Ses Seigneurs Fontaine-L / Книга С меки корици
common.buy 15.50 € 30.32 лв
Barrierefreie Informationstechnik Torsten Kulick / Книга С меки корици
common.buy 52.57 € 102.83 лв
Die NEUE Kinder-Uni Wissens-Box, 7 Audio-CDs Volker Ufertinger / Аудио Аудио компактдиск
common.buy 25.07 € 49.03 лв
I libri commemoriali della Republica di Venezia 8 Volume Set Riccardo Predelli / Книга С твърди корици
common.buy 406.72 € 795.47 лв
miniLÜK. Tl.2 Heinz Vogel / Книга Лист
common.buy 8.22 € 16.07 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Automated Theorem Proving
Автор A Neier
Език Английски език
Корици Книга - С меки корици
Брой страници 289
Баркод 9783528185206
ISBN 9783528185206
Код Либристо 06615457
Издателство Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Тегло 597
Размери 170 x 244 x 17

Категории

Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Financial Inclusion for Poverty Alleviation Essam Yassin Mohammed / Книга С твърди корици
common.buy 209.02 € 408.80 лв
Travels in Upper and Lower Egypt Vivant Denon / Книга С меки корици
common.buy 47.09 € 92.11 лв
Political Biography of John Toland Michael Brown / Книга С меки корици
common.buy 75.17 € 147.01 лв
Girl Who Loved Wild Horses Paul Goble / Книга С твърди корици
common.buy 15.76 € 30.83 лв
When Power Meets Potential T D Jakes / Книга С меки корици
common.buy 18.30 € 35.79 лв
The Egyptian Fortune Teller - Your Fortune for Every Day Anon / Книга С меки корици
common.buy 23.52 € 46.00 лв
Devotions for the Alcoholic Christian Carl Nelson / Книга С меки корици
common.buy 13.70 € 26.79 лв
Opening Repertoire for the Attacking Player Eduard Gufeld / Книга С меки корици
common.buy 15.14 € 29.62 лв
Understanding Dunblane and Other Massacres Peter Aylward / Книга С меки корици
common.buy 53.40 € 104.44 лв
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 / Книга С меки корици
common.buy 8.53 € 16.67 лв
Climate Change, Ozone Depletion and Air Pollution: Legal Commentaries Within the Context of Science and Policy Alexander Gillespie / Книга С твърди корици
common.buy 247.48 € 484.03 лв
Syriac documents attributed to the first three centuries Benjamin Plummer Pratten / Книга С меки корици
common.buy 17.11 € 33.46 лв
WATCHMAN ON THE WALL V02 Ronald Harvell / Книга С меки корици
common.buy 16.07 € 31.44 лв
Bloom Olympiad Physics Class 11th (E) Dhramendra Singh / Книга С меки корици
common.buy 54.33 € 106.26 лв
Into the End MATHOMO L. MAKGALE / Книга С меки корици
common.buy 16.54 € 32.35 лв
The Vixen Regent Ralph Lawrence / Книга С меки корици
common.buy 13.90 € 27.19 лв
Air Jordan Price Guide 2013 (Black/White) Michael Tran / Книга С меки корици
common.buy 24.76 € 48.43 лв
History of the Knights Templar of the State of Pennsylvania Alfred Creigh / Книга С меки корици
common.buy 37.74 € 73.81 лв
Pekoe Most Poison Laura Childs / Книга С меки корици
common.buy 9.56 € 18.70 лв
Military and Civilian Pay Levels, Trends, and Recruit Quality James Hosek / Книга С меки корици
common.buy 30.91 € 60.46 лв
Embracing Life After Loss Allen Klein / Книга С меки корици
common.buy 12.87 € 25.17 лв
The Pangerman Plot Unmasked: Berlin's Formidable Peace-Trap of The Drawn War Andre Cheradame / Книга С твърди корици
common.buy 33.55 € 65.61 лв
Top
Complete Spanish Step-by-Step, Premium Second Edition Barbara Bregstein / Книга С меки корици
common.buy 21.50 € 42.05 лв
Superhero Superstars: Tom Holland Martha London / Книга С твърди корици
common.buy 29.52 € 57.73 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?