BookSee.org
Booksee.org
Главная

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.
Популярные книги за неделю:
Только что пользователи скачали эти книги: