- 2 402 202 книги
- Поиск
libcats.org
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
М.М.Гринштейн, Л.М.Кучикян. Фотореле в радиолюбительской практике (МРБ-0533, 1963 djvu)
Автор:
Размер книги: 1.54 Mb
Hyundai Motor Company - Hyundai Elantra New (2007) - Body Repair Manual
Автор: Hyundai Motor CompanyКатегория: Авто
Размер книги: 9.40 Mb
William Dean Howells and the Ends of Realism (Studies in Major Literary Authors)
Автор: Paul AbelnКатегория: Образование
Размер книги: 1008 Kb
Physique mesoscopique des electrons et des photons French
Автор: Eric Akkermans, Автор: Gilles MontambauxКатегория: Математика, Математическая физика
Размер книги: 25.08 Mb
Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers ... Computer Science and General Issues)
Автор: Guang R. Gao, Автор: Lori Pollock, Автор: John Cavazos, Автор: Xiaoming LiКатегория: Компьютеры
Размер книги: 5.70 Mb
The Aggressions of Civilization: Federal Indian Policy Since the 1880s
Автор: Sandra L. Cadwalader & Vine Deloria
Размер книги: 3.91 Mb
The Abolition of Slavery: The Right of the Government Under the War Power (Dodo Press)
Автор: William Lloyd Garrison
Размер книги: 5.16 Mb