|
[Frames]
 |
Ferruccio Guidi
Ph.D. Student
e-mail: fguidi at cs dot unibo dot it
Home Page: http://www.cs.unibo.it/~fguidi
Address: Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy
Telephone number: +39 51 20 94 871
Selected Publications:
- XML, Stylesheets and the re-mathematization of Formal Content
- HELM and the semantic Math-Web
- Formal Mathematics on the Web
- Formal Mathematics in MathML
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:22 CET 2007. |
|