Автор: Peter Padawitz Название: Computing in Horn Clause Theories ISBN: 3642738265 ISBN-13(EAN): 9783642738265 Издательство: Springer Рейтинг: Цена: 74490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz