HELM and the semantic Math-Web

A. Asperti ; L. Padovani ; C. Sacerdoti Coen ; I. Schena

Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLS 2001), 3-6 September 2001, Edinburgh, Scotland

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:21 CET 2007.