[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Automated Reasoning with Analytic Tableaux and Related Methods

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Reasoning with Analytic Tableaux and Related Methods Didier Galmiche
Код Либристо: 05274694
Издателство Springer, Berlin, ноември 1996
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Цялото описание
? points 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Atlas of Knee Arthroscopy Radu Prejbeanu / С твърди корици
common.buy 463.85 лв
Book of Meissen Robert E. Rontgen / С твърди корици
common.buy 192.00 лв
Thinking Outside the Box William G. O'Callaghan / С меки корици
common.buy 121.62 лв
Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor / С меки корици
common.buy 242.44 лв
Changing Our Minds Susan H. Aiken / С меки корици
common.buy 91.41 лв
Primordial Emotions Derek Denton / С твърди корици
common.buy 293.79 лв
Collected Poems Donald Davie / С меки корици
common.buy 46.91 лв
Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown / С твърди корици
common.buy 440.99 лв
Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner / С твърди корици
common.buy 69.56 лв
Year Book of Ophthalmology 2013 Christopher J. Rapuano / С твърди корици
common.buy 287.55 лв
Yeats Yug Chaudhry / С меки корици
common.buy 83.86 лв
Beyond Hollywood's Grasp Harry Waldman / С твърди корици
common.buy 233.28 лв
Animal Reproduction Lucas T. Dahnof / С твърди корици
common.buy 269.52 лв
Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg / С меки корици
common.buy 116.58 лв
Delicious Probiotic Drinks Julia Mueller / С твърди корици
common.buy 29.79 лв
Ethik Und Protest Gerhard Schmidtchen / С меки корици
common.buy 139.24 лв

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

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

Пълно заглавие Automated Reasoning with Analytic Tableaux and Related Methods
Автор Didier Galmiche
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 380
Баркод 9783540629207
ISBN 3540629203
Код Либристо 05274694
Издателство Springer, Berlin
Тегло 510
Размери 156 x 234 x 20

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 > Systems analysis & design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

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