[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Automated Reasoning
Език
Английски език
Английски език
Книга
С меки корици
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2...
Цялото описание
Код Либристо: 01562445
?
324 b
324 b
252.84
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
252.84
лв
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Информация за книгата
Пълно заглавие
Automated Reasoning
Автор
Ulrich Furbach, Natarajan Shankar
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2006
Брой страници
688
Баркод
9783540371878
ISBN
3540371877
Код Либристо
01562445
Тегло
2140
Размери
152 x 229 x 38
Категории
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer science
>
Artificial intelligence
>
Expert systems / knowledge-based systems
