- 2 402 202 книги
- Поиск
libcats.org
- ВКонтакте
- РћРТвЂВВВВВВВВнокласснРСвЂВВВВВВВВРєРСвЂВВВВВВВВ
- Telegram
From Logic Programming to Prolog
Krzysztof R. AptA unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Сто лет одиночества
Автор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
Профессиональная разработка в системе 1С Предприятие 8
Автор: Габец А.П., Автор: Гончаров Д.И., Автор: Радченко М.Г.(ред.)Категория: Офисные программы бизнес-приложения
Размер книги: 18.19 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Principles of neural science (Принципы нейробиологии)
Автор: Eric Kandel, Автор: James Schwartz, Автор: Thomas JessellКатегория: Биология биохимия химия Учебник
Размер книги: 66.19 Mb
The Semitic Languages: An International Handbook (Handb Cher Zur Sprach- Und Kommunikationswissenschaft / Hand)
Автор: Stefan Weninger, Автор: Geoffrey Khan, Автор: Michael P. Streck, Автор: Janet C. E. Watson
Размер книги: 17.15 Mb
Materials Science and Engineering An Introduction,9th Edition
Автор: William D. Callister Jr., Автор: David G. Rethwisch
Размер книги: 32.11 Mb
Только что пользователи скачали эти книги:
Путь империи
Автор: Флинт Эрик, Автор: Уинтворт К. Д.Категория: Научная Фантастика
Размер книги: 1.11 Mb
Identity and Agency in Cultural Worlds
Автор: Dorothy Holland, Автор: William Lachicotte Jr., Автор: Debra Skinner, Автор: Carole Cain
Размер книги: 4.27 Mb
The Curious Feminist: Searching for Women in a New Age of Empire
Автор: Cynthia Enloe
Размер книги: 1.67 Mb
New Age Encyclopedia: A Mind Body Spirit Reference Guide
Автор: Belinda WhitworthКатегория: Образование, Энциклопедии
Размер книги: 21.79 Mb
Описание мужеского Далматовского Успенского монастыря и женского Введенского монастыря., в Екатернбургской Епарх. Пермской губ.
Автор:Категория: Религия, Православие
Размер книги: 79.24 Mb
Practicing the Gifts of the Spirit: Stories from Spiritual Java (Epub, Mobi & PDF)
Автор: Kris VallottonКатегория: Christian
Размер книги: 1.19 Mb