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

Nucleation (Butterworth 2000)

 Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

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

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

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

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

Optimization theory and methods: Nonlinear programming

 Автор: , Автор:
Категория: Mathematics, Optimization and control
Размер книги: 2.70 Mb

Optimal control of nonsmooth distributed parameter systems

 Автор:
Категория: Mathematics, Optimization and control
Размер книги: 1.17 Mb

Tiermes Spaniens steinernes Rätsel

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