Проверка на състоянието на поръчката
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 with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Reasoning with Analytic Tableaux and Related Methods Marta Cialdea Mayer
Код Либристо: 01562963
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2003
This book constitutes the refereed proceedings of the International Conference on Automated Reasonin... Цялото описание
? points 132 b
54.29 €
106.19  лв
Външен склад Изпращаме след 5-8 дни

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

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

EL MÓN VA DIR SÍ KAIA DAHLE NYHUS / Книга С меки корици
common.buy 21.16 € 41.38 лв
Tracées Chouvel Книга С меки корици
common.buy 51.45 € 100.64 лв
Cime tempestose Emily Bronte / Книга С меки корици
common.buy 9.49 € 18.56 лв
Hypnolinguistik Gerhard Schütz / Книга С меки корици
common.buy 27.20 € 53.19 лв
Ai tempi di Bocchan Jiro Taniguchi / Книга С меки корици
common.buy 26.22 € 51.27 лв
Prender de gajo Luisa Futoransky / Книга С меки корици
common.buy 8.30 € 16.24 лв
Parasaurolophus / Игра/играчка Играчка
common.buy 29.11 € 56.93 лв
Geschichte des deutschen Buchhandels Friedrich Kapp / Книга С меки корици
common.buy 38.60 € 75.50 лв
Tajemnica tajemnic Dan Brown / Книга С твърди корици
common.buy 20.02 € 39.16 лв
Der Weihnachtosaurus (Teil 1), 4 Audio-CDs Tom Fletcher / Аудио Аудио компактдиск
common.buy 14.34 € 28.05 лв

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.§The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

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

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

Пълно заглавие Automated Reasoning with Analytic Tableaux and Related Methods
Автор Marta Cialdea Mayer, Fiora Pirri
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 270
Баркод 9783540407874
ISBN 3540407871
Код Либристо 01562963
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 890
Размери 155 x 233 x 15

Категории

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

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

Recent Advances in Control and Optimization of Manufacturing Systems George Yin / Книга С меки корици
common.buy 54.29 € 106.19 лв
Изгодно
On Guerilla Warfare Mao Zedong / Книга С твърди корици
common.buy 17.08 € 33.40 лв
Hot Dogs from Across the USA: Discover the Hottest Hot Dog Recipes Christina Tosch / Книга С меки корици
common.buy 13.00 € 25.43 лв
Twenty Thousand Leagues Under the Sea Jules Verne / Книга С меки корици
common.buy 7.58 € 14.83 лв
Poems of William Cowper William Cowper / Книга С меки корици
common.buy 21.72 € 42.49 лв
Love Letters Of Great Men John C Kirkland / Книга С меки корици
common.buy 19.25 € 37.64 лв
Three Times and Out Nellie L McClung / Книга С меки корици
common.buy 7.63 € 14.93 лв
Va-yehi (Genesis 47:28-50:26) and Haftarah (1 Kings 2:1-12) Jeffrey K. Salkin / Книга С меки корици
common.buy 6.70 € 13.11 лв
Collected Stories Olaf Stapledon / Книга С меки корици
common.buy 9.90 € 19.37 лв
Phrasal Verb Phobia Destroyer Workbook: Intermediate - Advanced English (B1-C1) ESL Liza Lluma / Книга С меки корици
common.buy 16.82 € 32.90 лв
Rebels of Theta: Book One of The Gods of Arth Trilogy Vickie Adair / Книга С меки корици
common.buy 13.00 € 25.43 лв
Vindicated Jose Canseco / E-книга Adobe ePub DRM
common.buy 10.58 € 20.68 лв
Data Analytics Made Easy Mauro Andrea De Mauro / E-книга Adobe ePub DRM
common.buy 28.28 € 55.31 лв
Top
Shangri-La Frontier 11 Katarina / Книга С меки корици
common.buy 11.45 € 22.40 лв
Crystal Woman Lynn V. Andrews / E-книга Adobe ePub DRM
common.buy 12.18 € 23.81 лв
Mastering the Law of Assumption / Книга С меки корици
common.buy 29.72 € 58.14 лв
Нови
D4ve: IDW Classic Collections Valentin Ramon / Книга С меки корици
common.buy 11.35 € 22.20 лв
Bell's British Theater Consisting of the most Esteemed English Plays John Bell / Книга С меки корици
common.buy 29.26 € 57.23 лв
Technology in Early America Brooke Hindle / Книга С меки корици
common.buy 43.97 € 86.00 лв
What Natasha Can Do Nicola Call / Книга С твърди корици
common.buy 7.63 € 14.93 лв
Martha Stewart's Cakes Editors Of Martha Stewart Living / Книга С меки корици
common.buy 21.78 € 42.59 лв
My Dog: The Paradox Inman / Книга С твърди корици
common.buy 8.15 € 15.94 лв
Nutrition and Feeding of Fish Tom Lovell / Книга С твърди корици
common.buy 450.64 € 881.38 лв
Endocrinology of Aging John E. Morley / Книга С твърди корици
common.buy 183.12 € 358.16 лв

Вход

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

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

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

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

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