Sacerdoti Coen and I. Schena: HELM and the Semantic Web (0)

by A Asperti, l Padovani, C
Venue:Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001