- 2 402 202 книги
- Поиск
libcats.org
An introduction to logic programming through Prolog
J. M. Spivey, Michael SpiveyUsing theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Электронные приборы для защиты РЭА от электрических перегрузок. Справочник
Автор: Авторы: В.П.Черепанов, Автор: А.К.Хрулев, Автор: И.П.Блудов.Категория: радиоэлектроника
Размер книги: 9.73 Mb
Manual of engineering drawing. Second edition
Автор: Colin Simmons, Автор: Dennis MaguireКатегория: English литература
Размер книги: 5.77 Mb
Graph Drawing and Applications for Software and Knowledge Engineers
Автор: Kozo Sugiyama
Размер книги: 7.21 Mb
Единая методика конструирования одежды СЭВ (ЕМКО СЭВ). Базовые конструкции женской одежды
Автор: ЦНИИШПКатегория: ПРОФЕССИИ И РЕМЕСЛА
Размер книги: 1.85 Mb
