info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Automated Reasoning with Analytic Tableaux and Related Methods

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Reasoning with Analytic Tableaux and Related Methods Renate A. Schmidt
Код Либристо: 16830524
Издателство Springer International Publishing AG, август 2017
This book constitutes the proceedings of the 26th International Conference on Automated Reasoning wi... Цялото описание
? points 227 b
180 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

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

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

Baby Duck: Finger Puppet Book Yu-Hsuan Huang / Дипляна
common.buy 16 лв
The Little Mermaid-Kleine Meerjungfrau West/San Francisco Ballet / DVD
common.buy 81 лв
Hassan & Aneesa Celebrate Eid YASMEEN RAHIM / С меки корици
common.buy 15 лв
A Great Work: A conversation with Nehemiah for people (who want to be) doing great works. Jon C Swanson / С меки корици
common.buy 23 лв
NEPHILIM the awakening: Book 2 of the Nephilim Series MR Kirk Allen Kreitzer / С меки корици
common.buy 32 лв
The Art of Bouncing Back: How I Survived it All Ebony K Johnson / С меки корици
common.buy 37 лв
County of San Mateo, Plaintiff in Error, vs. the Southern Pacific Railroad Company, Defendant in Error. Roscoe Conkling / С меки корици
common.buy 45 лв
Sinfonie 5/Faust op.68 Horia/George Enescu PO Andreescu / Аудио компактдиск
common.buy 44 лв
One Step At A Time: Violin Book I Jennie Lou Klim / С меки корици
common.buy 28 лв
Fall Into Magic- A Novella Melissa Baldwin / С меки корици
common.buy 23 лв
Issues and Trends in Interdisciplinary Behavior and Social Science / С твърди корици
common.buy 650 лв

This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

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

Пълно заглавие Automated Reasoning with Analytic Tableaux and Related Methods
Автор Renate A. Schmidt, Cláudia Nalon
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 381
Баркод 9783319669014
ISBN 331966901X
Код Либристо 16830524
Издателство Springer International Publishing AG
Тегло 5971
Размери 155 x 235 x 23

Категории

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

Вход

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

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

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

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

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