- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Handbook of Antennas in Wireless Communications
Автор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Мъжът, който заглеждаше момичетата II
Автор: Бегбеде ФредерикКатегория: Классическая проза
Размер книги: 10 Kb
Geometric group theory: Proc. of a special research quarter Ohio State Univ. 1992
Автор: Ruth Charney, Автор: Michael Davis, Автор: Michael Shapiro
Размер книги: 2.90 Mb
The Hutchinson Encyclopedia of Ireland
Автор: Ciaran Brady, Автор: Ciaran BradyКатегория: Encyclopedias
Размер книги: 7.23 Mb
Статистическая теория обнаружения сигналов
Автор: Хелстром К.Категория: Математика
Размер книги: 6.35 Mb
Разработка баз данных в Microsoft Visual Foxpro. Часть 1: создание структуры базы данных: Учебно-методическое пособие
Автор: Семенова И.И.Категория: Информационные системы и базы данных
Размер книги: 502 Kb
