- 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.
Скачать книгу бесплатно (gz, 472 Kb)
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Quantum theory of tunneling
Автор: Mohsen RazavyКатегория: Physics, Quantum mechanics
Размер книги: 3.02 Mb
Professional Windows DNA: Building Distributed Web Applications with VB,..
Автор: Matthew Bortniker, Автор: Jonathan Crossland, Автор: Dino Esposito, Автор: Jason Hales, Автор: Whitney Hankison, Автор: Vishwanath Honnaya, Автор: Tim Huckaby, Автор: Slava Kristich, Автор: Edward Lee, Автор: Rockford Lhotka, Автор: Brian Loesgen, Автор: Stephen Mohr, Автор: Simon Robinson, Автор: Ash Rofail, Автор: Brad Sherrell, Автор: Scott Short, Автор: Dan WahКатегория: Windows
Размер книги: 10.19 Mb
Professional Active Server Pages 3.0
Автор: Alex Homer, Автор: David Sussman, Автор: Brian Francis, Автор: George Reilly, Автор: Dino Esposito, Автор: Craig McQueen, Автор: Simon Robinson, Автор: Richard Anderson, Автор: Andrea Chiarelli, Автор: Chris Blexrud, Автор: Bill Kropog, Автор: John Schenken, Автор: Matthew Gibbs, Автор: Dean Sonderegger, Автор: Dan Denault
Размер книги: 25.91 Mb
Microsoft .NET: Architecting Applications for the Enterprise
Автор: Dino Esposito, Автор: Andrea Saltarello
Размер книги: 2.56 Mb
Macroscopic Quantum Tunneling of the Magnetic Moment
Автор: Eugene M. Chudnovsky, Автор: Javier TejadaКатегория: P_Physics, PS_Solid state
Размер книги: 1.74 Mb
Plato, Vol. IX: Laws, I: Books 1-6 (Loeb Classical Library No. 187)
Автор: Plato; R.G. Bury (ed.)Категория: Юридические науки, Право
Размер книги: 13.54 Mb