- 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
Только что пользователи скачали эти книги:
Harry Potter und die Heiligtümer des Todes
Автор: Роулинг ДжоанКатегория: Детская фантастика
Размер книги: 1.57 Mb
Теория кодов, исправляющих ошибки
Автор: Мак-Вильямс Ф. Дж., Автор: Слоэн Н. Дж. А.
Размер книги: 8.46 Mb
Английский язык в картинках
Автор: I.A. Richards; Christine M. GibsonКатегория: Иностранные языки
Размер книги: 5.77 Mb
When Your Rabbit Needs Special Care: Traditional and Alternative Healing Methods
Автор: Lucile C. Moore, Автор: Kathy SmithКатегория: science_books, medicine
Размер книги: 9.08 Mb
Historical Dictionary of Sierra Leone (African Historical Dictionaries Historical Dictionaries of Africa)
Автор: C. Magbaily Fyle
Размер книги: 9.83 Mb
Oxy-Fuel Combustion for Power Generation and Carbon Dioxide (CO2) Capture
Автор: Ligang Zheng
Размер книги: 6.70 Mb