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

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Электрический привод

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

Beginning C++ Game Programming (Game Development Series)

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

Arturo Perez-Reverte

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

A prairie populist: the memoirs of Luna Kellie

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