Non-Monotonic Extensions of Logic Programming, Louis M. Pereira; Teodor C. Przymusinski
Автор: Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heis Название: Extensions of Logic Programming ISBN: 3540609830 ISBN-13(EAN): 9783540609834 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These conference proceedings discuss such topics as: categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning and proof search.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz