Автор: Peter Padawitz Название: Computing in Horn Clause Theories ISBN: 3642738265 ISBN-13(EAN): 9783642738265 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru