[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
Formal Methods in Artificial Intelligence
Език
Английски език
Английски език
Книга
С меки корици
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha...
Цялото описание
Код Либристо: 02030414
?
140 b
140 b
109.13
лв
Външен склад
Изпращаме след 15-20 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
Информация за книгата
Пълно заглавие
Formal Methods in Artificial Intelligence
Автор
Allan M. Ramsay
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
1991
Брой страници
292
Баркод
9780521424219
ISBN
0521424216
Код Либристо
02030414
Издателство
Cambridge University Press
Тегло
470
Размери
170 x 244 x 16
