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

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Reasoning Nicola Olivetti
Код Либристо: 10929148
Издателство Springer International Publishing AG, юни 2016
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automate... Цялото описание
? points 238 b
98.47 €
192.59  лв
Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

La Sorbonne entre en guerre de religion Amalou / Книга С меки корици
common.buy 92.78 € 181.45 лв
Siquirres, Canton Centenario Quince Duncan / Книга С меки корици
common.buy 53.63 € 104.90 лв
Bastard Jaroslav Mostecký / Книга С твърди корици
common.buy 17.34 € 33.91 лв
Trefl Dřevěná vkládačka Pod vodou / Игра/играчка Играчка
common.buy 7.61 € 14.88 лв
POLICIA NACIONAL. ESCALA BASICA. TEMARIO 1 / Книга С меки корици
common.buy 58.76 € 114.92 лв
Top
Coloriages Mystères Trompe l'oeil tome 3 Eugénie Varone / Книга С меки корици
common.buy 22.57 € 44.14 лв
Ma mare, una època, uns costums, un testimoni Colom Calafat / Книга С меки корици
common.buy 27.69 € 54.17 лв
I Love Autumn (English Turkish Bilingual Book for Kids) Kidkiddos Books / Книга С твърди корици
common.buy 26.04 € 50.93 лв
Oversigt Over Det Kongelige Danske Videnskabernes Selskabs Forhandlinger... Kongelige Danske Videnskabernes Selskab / Книга С меки корици
common.buy 23.76 € 46.47 лв
Nous Le Sommes Tous, Ou l'Egoisme. Tome 1 Pigault-Lebrun / Книга С меки корици
common.buy 22.21 € 43.43 лв

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).§§The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.§§

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

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

Пълно заглавие Automated Reasoning
Автор Nicola Olivetti, Ashish Tiwari
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 580
Баркод 9783319402284
ISBN 9783319402284
Код Либристо 10929148
Издателство Springer International Publishing AG
Тегло 8949
Размери 155 x 235 x 35

Категории

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

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

Grammar and Beyond Level 4 Student's Book B and Writing Skills Interactive Pack Hilary Hodge / Книга С твърди корици
common.buy 50.22 € 98.21 лв
Hiddushim Arthur Green / Книга С твърди корици
common.buy 46.33 € 90.62 лв
Crock Pot Chicken Recipes Cookbook Emma Ray / Книга С меки корици
common.buy 18.69 € 36.55 лв
History of the Fourth Illinois Volunteers in Their Relation to the Spanish-American War Skinner John R. Skinner / Книга С меки корици
common.buy 41.78 € 81.71 лв
A CENTENNIAL DISCOURSE DELIVERED SEPTEMB SAMUEL F. 18 CLARKE / Книга С твърди корици
common.buy 29.77 € 58.22 лв
Connect the Dots Activity Book for Kids Speedy Publishing LLC / Книга С меки корици
common.buy 12.89 € 25.20 лв
Story and Reality Robert P. Roth / Книга С меки корици
common.buy 21.69 € 42.42 лв
Literary Passages Close Reading Grade 4 Marcia Miller / Книга С меки корици
common.buy 12.21 € 23.89 лв
University of California Publications in American Archaeology and Ethnology Volume 3 University of California (1868-1952) / Книга С твърди корици
common.buy 34.48 € 67.43 лв
Heaven Paul Backholer / Книга С меки корици
common.buy 14.65 € 28.65 лв
Ordinary Life H Eugene Kessler / Книга С меки корици
common.buy 19.31 € 37.76 лв
Copper Mine Bruce Corneille Switzer / Книга С твърди корици
common.buy 30.23 € 59.13 лв
Supreme Court Reborn William E. Leuchtenburg / Книга С меки корици
common.buy 28.73 € 56.19 лв

Вход

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

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

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

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

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