[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Automated Deduction - CADE-19

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-19 Franz Baader
Код Либристо: 01562844
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Цялото описание
? points 164 b
128.26 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Ján Ondruš Básnické dielo Ján Ondruš / С меки корици
common.buy 21.18 лв
Dárkové krabičky ve tvaru hvězdy 6 kusů / binding.
common.buy 15.63 лв
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / binding.
common.buy 7.26 лв
Comic Books as History Joseph Witek / С меки корици
common.buy 91.63 лв
Norfolk W A Dutt / С меки корици
common.buy 68.72 лв
Einmal mit Alles Daniel Esswein / С твърди корици
common.buy 79.01 лв
Norm, Person, Gesellschaft. Günther Jakobs / С меки корици
common.buy 63.27 лв
DNA Methylation, Epigenetics and Metastasis M. Esteller / С твърди корици
common.buy 502.27 лв
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / С меки корици
common.buy 104.44 лв
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / С твърди корици
common.buy 252.90 лв
Functional Foods and Nutraceuticals Aluko / С твърди корици
common.buy 230.19 лв

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

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

Пълно заглавие Automated Deduction - CADE-19
Автор Franz Baader
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 512
Баркод 9783540405597
ISBN 3540405593
Код Либристо 01562844
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1600
Размери 155 x 235 x 29

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo