|
Documentation
All available information about MathQL-1 can be found in the papers below
(listed in order of relevance):
Papers concerning the latest version of MathQL-1:
- F. Guidi: Searching and Retrieving in Content-based Repositories
of Formal Mathematical Knowledge Ph.D. Thesis in Computer Science, University
of Bologna, 2003.
Papers concerning the erlier versions of MathQL-1:
- L. Natile: Tecnologie per l'Interrogazione di Basi Documentarie
in Formato XML. Master Thesis in Computer Science, University of Bologna,
2002.
- A. Nediani: Disegno e Implementazione di un'Interfaccia Web
di Supporto ad Interrogazioni su Basi di Dati Documentarie. Master Thesis
in Computer Science, University of Bologna, 2003.
- D. Lordi: Sperimentazione e Sviluppo di Strumenti per la
gestione di metadati. Master Thesis in Computer Science, University of
Bologna, 2002.
|