libcats.org
Главная →

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

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

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

,
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.
Популярные книги за неделю:

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

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

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Information Theory, Inference and Learning Algorithms

 Автор:
Категория: Computer science, AI, knowledge
Размер книги: 10.93 Mb

The Semantic Management of Middleware

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

Handbook of Justice Research in Law

 Автор: , Автор:
Категория: Юридические науки, Право
Размер книги: 1.41 Mb

Dead Man's Ransom

 Автор:
Категория: Старинная литература
Размер книги: 473 Kb

I Hate Rules!

 Автор:
Категория: fiction
Размер книги: 1.85 Mb

Summoning the Night

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

Unshakeable

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