A computational logic

libcats.org

Главная →

Robert S. Boyer, J.Strother Moore

Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(440s).pdf-new

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

Читать «A computational logic»

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

Самодельные детали для сельского радиоприемника

Автор: Авторы: З.Б.Гинзбург, Автор: Ф.И.Тарасов.

Категория: радиоэлектроника

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

Радиолюбительские конструкции

Автор: Вознюк В.В.

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

Английский школьникам. Тренажер по чтению. Буквы и звуки

Автор: Е. В. Русинова

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

Детали машин. Краткий курс и тестовые задания

Автор: Олофинская В.П.

Категория: science, technical, civil, engineer, civil, tech, civil

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

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Автор: Роман Савин

Категория: info, manual, computers, computers, manuals

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

Путь к здоровью и долголетию

Автор: Горен Михаэль

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

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

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

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

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

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

Самоделки школьника

Автор: Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

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

Опционы, фьючерсы и другие производные финансовые инструменты

Автор: Халл Дж.К.(Hull J.C.)

Категория: F_Finance, FD_Derivatives

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

Электронные схемы и их применение

Автор: Сентурия С., Автор: Уэдлок Б.

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

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

Изумрудные скрижали Тота Атланта

Автор: Тот Doddy

Категория: Эзотерика

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

Литография

Автор: Прутков Козьма

Категория: Русская классическая проза

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

Виктор Суворов. Честное медведевское, или Плюшевый гарант

Автор:

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

Encyclopedia of Telecommunications

Автор: John G. Proakis

Категория: Encyclopedias

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

Информатика 10-11. Книга 2. Практика алгоритмизации и программирования

Автор: Шауцукова Л.З.

Категория: Программирование

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

Olives and Olive Oil in Health and Disease Prevention

Автор: Victor R. Preedy, Автор: Ronald Ross Watson

Категория: Техника, Нефтегазовые технологии

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

Древность: Арьи. Славяне

Автор: Н.Р. Гусева

Категория: КНИГИ ИСТОРИЯ

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

Питание пресноводных беспозвоночных

Автор: Монаков А.В.

Категория: биология и медицинская наука

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

Language

Автор: Sapir Edward

Категория: fiction

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

La Thébaïde ou les frères ennemis

Автор: Racine Jean

Категория: fiction

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