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

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE 26 Leonardo De Moura
Код Либристо: 16495600
Издателство Springer International Publishing AG, юли 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Цялото описание
? points 210 b
86.81 €
169.79  лв
Външен склад Изпращаме след 5-8 дни

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

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

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Книга С меки корици
common.buy 6.04 € 11.81 лв
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Книга С твърди корици
common.buy 20.29 € 39.69 лв
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Книга С меки корици
common.buy 47.04 € 92.01 лв
Creatividad y generacion de ideas Jose M. Ricarte / E-книга Adobe ePub DRM
common.buy 12.70 € 24.84 лв
Circles Mac Miller Аудио Аудио плоча
common.buy 48.70 € 95.24 лв
Yapay Zeka ve Isin Gelecegi / Книга С меки корици
common.buy 20.09 € 39.28 лв
Hellsing Perfect edition T05 - Édition collector Kohta Hirano / Книга Книга
common.buy 55.05 € 107.67 лв

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

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

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

Пълно заглавие Automated Deduction - CADE 26
Автор Leonardo De Moura
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 582
Баркод 9783319630458
ISBN 3319630458
Код Либристо 16495600
Издателство Springer International Publishing AG
Тегло 8891
Размери 155 x 235 x 34

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Cryptology and Network Security Yvo G. Desmedt / Книга С меки корици
common.buy 54.33 € 106.25 лв
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Книга С меки корици
common.buy 14.61 € 28.58 лв
The Colorado Trail / Книга С меки корици
common.buy 22.36 € 43.73 лв
Imray Chart C20 Imray / Печатни материали Карта
common.buy 36.61 € 71.61 лв
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Книга С меки корици
common.buy 12.39 € 24.23 лв
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Книга С твърди корици
common.buy 265.77 € 519.80 лв
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Книга С меки корици
common.buy 16.63 € 32.52 лв
Top
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Книга С твърди корици
common.buy 137.07 € 268.08 лв
Love and pride Edwin Booth / Книга С меки корици
common.buy 12.39 € 24.23 лв
Three Partners Bret Harte / Книга С меки корици
common.buy 25.56 € 49.99 лв
Making of an African Giant Dr Dan Mou / Книга С меки корици
common.buy 36.15 € 70.70 лв
Graphic Design Process Nancy Skolos / Книга С меки корици
common.buy 41.98 € 82.11 лв

Вход

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

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

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

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

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