Проверка на състоянието на поръчката
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 Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-15 Claude Kirchner
Код Либристо: 01566707
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 1998
This book constitutes the refereed proceedings of the 15th International Conference on Automated Ded... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Le club des tricoteuses JACOBS-K / Книга С меки корици
common.buy 12.65 € 24.75 лв

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

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

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

Пълно заглавие Automated Deduction - CADE-15
Автор Claude Kirchner, Helene Kirchner
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1998
Брой страници 450
Баркод 9783540646754
ISBN 3540646752
Код Либристо 01566707
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1430
Размери 155 x 235 x 25

Категории

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

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

10th International Conference on Automated Deduction Mark E. Stickel / Книга С меки корици
common.buy 151.74 € 296.79 лв
Alias Bob Dylan: Revisited Stephen Scobie / Книга С меки корици
common.buy 12.40 € 24.24 лв
Forestry and Natural Resources MALCOLM FISHER / Книга С твърди корици
common.buy 120.74 € 236.15 лв
Evolve Level 3B Student's Book Leslie Anne Hendra / Книга С меки корици
common.buy 36.06 € 70.53 лв

Вход

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

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

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

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

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