Searching and Retrieving in Content-based Repositories of Formal Mathematical Knowledge

F. Guidi

Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical report UBLCS 2003-06

Download: [HTML]

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