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

Logic for Programming, Artificial Intelligence, and Reasoning

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic for Programming, Artificial Intelligence, and Reasoning Moshe Vardi
Код Либристо: 01558600
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2003
This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Цялото описание
? points 165 b
128 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

Poník má problémy Jeanne Betancourt / С твърди корици
common.buy 13 лв
Design of Ship Hull Structures Yasuhisa Okumoto / С меки корици
common.buy 455 лв
Shakespeare's Troilus and Cressida and the Inns of Court Revels W.R. Elton / С твърди корици
common.buy 390 лв
Discoverie of Witches Blake Morrison / С твърди корици
common.buy 30 лв
Study in Realism John Laird / С меки корици
common.buy 109 лв
Biological Sampling in the Deep Sea Malcolm Clark / С твърди корици
common.buy 465 лв
ПОДГОТВЯМЕ
Impfratgeber aus ganzheitlicher Sicht Georg Kneißl / Книга
common.buy 45 лв
Die Neuerfindung der Natur Donna Haraway / С меки корици
common.buy 59 лв
Cold War and Decolonisation Andrea Benvenuti / С меки корици
common.buy 90 лв
Allah, Tabiat ve Tarih saban Ali Düzgün / С меки корици
common.buy 32 лв
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things George Redford / С твърди корици
common.buy 74 лв
Magic Realist Cinema in East Central Europe Aga Skrodzka / С твърди корици
common.buy 284 лв
European Retail Research Dirk Morschett / С меки корици
common.buy 128 лв
Barfussele Berthold Auerbach / С твърди корици
common.buy 111 лв
Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss / С меки корици
common.buy 136 лв
Lalius Oder Von Der Freundschaft Marcus Tullius Cicero / С меки корици
common.buy 47 лв

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

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

Пълно заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Автор Moshe Vardi, Andrei Voronkov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 436
Баркод 9783540201014
ISBN 3540201017
Код Либристо 01558600
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1400
Размери 155 x 233 x 25

Категории

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

Вход

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

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

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

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

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