Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000

libcats.org

Proceedings of the 13th Annual Conference, TPHOLs 2000, held in Portland, Oregon, August 14-18, 2000. The conference included contributions to computer theorem proving and to functional programming, as well as works in progress. Softcover.

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

Читать «Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000»

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

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

О.Д.Вальпа. Полезные схемы с применением микроконтроллеров и ПЛИС (djvu)

9.91 Mb

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

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

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

1.40 Mb

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

Вознюк В.В.

1.99 Mb

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

Е. В. Русинова

12.41 Mb

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

Роман Савин

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

5.26 Mb

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

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

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

818 Kb

Как я появился на свет

Януш Катерина, Линдман Мерви

Категория: Children

9.12 Mb

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

Тарасов Б.В.

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

41.91 Mb

#10

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

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

10.14 Mb

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

Крым бандитский

Чернецов Константин

Категория: Политический детектив, Криминальный детектив

553 Kb

Виктория Абзалова. Давай согреем звезду (Дорога в ночь)

302 Kb

Гарри Гаррисон. Квитзеленция

40 Kb

Дж.Коуль(Дитрий Колосов) Несущий смерть

313 Kb

Математика для экономистов на базе Mathcad

12.26 Mb

Исследования о непрерывных дробях

Стилтьес Т. И.

6.28 Mb

Криминология

Под ред. Долговой А.И.

Категория: Наука. Техника

4.04 Mb

Дарю колесничему Цяо

Чэнь Цзыань

Категория: Поэзия

Історія України 1917 - 1923 рр. Том ІІ. Українська Гетьманська Держава 1918 року.

Дорошенко Д.

Категория: Історія

121.87 Mb

#10

Всеобщая история архитектуры. Архитектура восточной и юго-восточной Азии до середины XIX в

Прибыткова А.М. (отв. ред.)

Категория: Искусство, Архитектура

101.52 Mb