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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: