Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000
Mark Aagaard, John Harrison
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.
