A Computational Logic Handbook (Perspectives in Computing)

libcats.org

Главная →

Robert S. Boyer, J. Strother Moore

Скачать книгу бесплатно (djvu, 2.40 Mb)

Читать «A Computational Logic Handbook (Perspectives in Computing)»

Популярные книги за неделю:

Розалинд Мак-Найт. Космические путешествия

Автор:

Размер книги: 520 Kb

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 69 Kb

Ключ к сверхсознанию

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 309 Kb

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 818 Kb

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

Размер книги: 13.64 Mb

Древо жизни

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 1.70 Mb

Момент истины (В августе сорок четвертого...)

Автор: Богомолов Владимир Осипович

Категория: О войне

Размер книги: 1.83 Mb

Только что пользователи скачали эти книги:

Большой охотничий сезон

Автор: Барышников Борис

Категория: Детектив

Размер книги: 372 Kb

Здравствуй, Артек!

Автор: Селихов К., Автор: Фурин С.

Категория: Детская литература

Размер книги: 199 Kb

В.А.Морозова. Редактирование (Общий курс)

Автор:

Размер книги: 226 Kb

Жизнь и смерть великого биржевого спекулянта

Автор: Смиттен Р.

Размер книги: 4.47 Mb

OCA Oracle Database 11g Administration I Exam Guide (Exam 1Z0-052)

Автор: John Watson

Размер книги: 17.09 Mb

Cryptographic Hardware and Embedded Systems: First International Workshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings

Автор: Cetin K. Koc, Автор: Christof Paar

Размер книги: 4.05 Mb

За пределами рационального

Автор: Кортунов В.В.

Peptide-Lipid Interactions (Current Topics in Membranes, Vol 52)

Автор: Sidney A. Simon, Автор: Thomas J. McIntosh

Размер книги: 7.30 Mb

The First World War

Автор: Hew Strachan

Размер книги: 7.67 Mb

Een Moord Teveel

Автор: Cotton Jerry

Категория: fiction

Размер книги: 142 Kb