info@libristo.bg
Ще ви отговорим до 24 часа
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Контакт
Как се пазарува?
Помощ
Доставка
Box Now 9 лв
Speedy office 11 лв
Speedy 13 лв
ЕКОНТ 6 лв
Еконтомат/Офис на Еконт 6 лв
Безплатна доставка със Speedy над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
info@libristo.bg
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Logic for Programming, Artificial Intelligence, and Reasoning
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog...
Цялото описание
Код Либристо: 01555913
?
179 b
179 b
142
лв
Външен склад в ограничено количество
Изпращаме след 12-17 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
169
лв
/
С меки корици
44
лв
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.
Информация за книгата
Пълно заглавие
Logic for Programming, Artificial Intelligence, and Reasoning
Автор
Matthias Baaz, Andrei Voronkov
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2002
Брой страници
470
Баркод
9783540000105
ISBN
3540000100
Код Либристо
01555913
Тегло
1490
Размери
155 x 235 x 27
