libcats.org
Главная

Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008

Обложка книги Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008

Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008

, ,

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Дмитрий Завалишин. Пилоты vs Win CE

Автор:
Размер книги: 4 Kb

Крал Артур

Автор:
Размер книги: 818 Kb

PHP and MySQL for Dynamic Web Sites: Visual QuickPro Guide

Автор:
Размер книги: 54.59 Mb

Bones and Cartilage: Developmental Skeletal Biology

Автор:
Размер книги: 39.57 Mb

A Legacy of Kings...Israel's Chequered History (Epub & Mobi)

Автор:
Категория: Christian
Размер книги: 450 Kb