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»

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

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

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

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

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

НЛП. Люди, которые играют роли

Бакиров Анвар

Категория: Нейро-лингвистическое программирование (НЛП)

1.09 Mb

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

Тарасов Б.В.

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

41.91 Mb

#10

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

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

10.14 Mb

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

Современный польский детектив

Категория: Классический детектив

3.42 Mb

Колбасы тех времен

Борисов Олег Николаевич

3 Kb

Виктор Ардов. Исторические романы (Пародии)

6 Kb

Векторный анализ и начала тензорного исчисления

Борисенко А.И., Тарапов И.Е.

Категория: Mathematics, Calculus, Tensor calculus, forms

2.15 Mb

Таблицы для подбора зубчатых колес

М.И. Петрик, В.А. Шишков

Категория: Tech Машиностроение

5.42 Mb

Автомобили и тракторы. Краткий справочник

Баловнев В. И., Данилов Р. Г.

Категория: Tech Справочник

22.61 Mb

Русский мат для иностранцев (Dermo)

Edward Topol

Категория: Филология

1.78 Mb

Ordinary differential equations

Edward L. Ince

Категория: M_Mathematics, MC_Calculus, MCde_Differential equations

17.28 Mb

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

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

10.14 Mb

#10

Dictionary of Natural Products on CD-ROM

John Buckingham

6.12 Mb