2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Главная
→
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001
Richard J. Boulton
,
Paul B. Jackson
All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS. Softcover.
Скачать книгу бесплатно
(pdf, 2.54 Mb)
Читать «Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001»
EPUB
|
FB2
|
MOBI
|
TXT
|
RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Только что пользователи скачали эти книги:
Женская пантомима
Автор:
Маркус Бен
Категория:
Проза
Размер книги: 20 Kb
Евгений Максимов. Место в жизни
Автор:
Размер книги: 190 Kb
Избор на богове
Автор:
Саймък Клифърд
Категория:
Классическая проза
Размер книги: 582 Kb
Справочник по физике и технике. Учебное пособие для учащихся
Автор:
Енохович Анатолий Сергеевич
Категория:
Физико-математические науки: механика
,
физика
Размер книги: 4.16 Mb
Конструктивная психология конфликта
Автор:
Хасан Б.И.
Категория:
science
,
human
,
society
,
social
,
people
,
contact
Размер книги: 378 Kb
Блюда из риса
Автор:
К.В.Силаева
Категория:
house
,
house
,
cook
Размер книги: 5.71 Mb
Cognitive Carpentry: A Blueprint for How to Build a Person
Автор:
John L. Pollock
Размер книги: 2.23 Mb
Самоделки школьника
Автор:
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
Размер книги: 41.91 Mb
НЛО и другие
Автор:
Провоторов Валентин Павлович
Категория:
мистика
,
аномальные явления
Размер книги: 251 Kb
Groupware: Design, Implementation, and Use: 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings
Автор:
Joerg M. Haake
, Автор:
Sergio F. Ochoa
, Автор:
Alejandra Cechich
Размер книги: 13.00 Mb