[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 Deduction ? CADE-12
Език
Английски език
Английски език
Книга
С меки корици
This volume contains the reviewed papers presented at the 12th International Conference on Automated...
Цялото описание
Код Либристо: 12608737
?
164 b
164 b
128.20
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.
Информация за книгата
Пълно заглавие
Automated Deduction ? CADE-12
Автор
Alan Bundy
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
1994
Брой страници
872
Баркод
9783540581567
ISBN
3540581561
Код Либристо
12608737
Издателство
Springer Berlin Heidelberg
Тегло
1293
Размери
155 x 235 x 47
