+
+
-
+
-
+
- - Documentation
-
+ - Documentation
+
-
+
-
+
-
+
-
- |
-
+
+ |
+
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.
-
-
+
+
+ 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 and I. Schena: A Query Language
-for a Metadata Framework about Mathematical Resources. Presentation
-at the 2nd International Conference on Mathematical Knowledge Management
-(MKM 2003). Bertinoro, Italy, February 2003.
-
+ - 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:
- F. Guidi and I. Schena: A
-Query Language for a Metadata Framework about Mathematical Resources.
-In Proc. of the 2nd International Conference on Mathematical Knowledge Management
-(MKM 2003). Bertinoro, Italy, February 2003. LNCS 2594, pages 105-118, Springer.
-2003.
+ href="http://monet.nag.co.uk/mkm/bertinoro03/guidi.pdf">A Query Language
+for a Metadata Framework about Mathematical Resources. Presentation
+at the 2nd International Conference on Mathematical Knowledge Management (MKM
+2003). Bertinoro, Italy, February 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.
-
+ - F. Guidi and I. Schena: A Query Language for a Metadata
+Framework about Mathematical Resources. In Proc. of the 2nd International
+Conference on Mathematical Knowledge Management (MKM 2003). Bertinoro, Italy,
+February 2003. LNCS 2594, pages 105-118, Springer. 2003.
+
-
+
- - 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.
-
+ - 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
+
- D. Lordi: Sperimentazione e Sviluppo di Strumenti per la
+gestione di metadati. Master Thesis in Computer Science, University of
Bologna, 2002.
-
-
+
+
- |
-
-
-