Schena I. Towards a Semantic Web for Formal Mathematics. Ph.D. Thesis in Computer Science, University of Bologna. Supervisor: A. Asperti, February 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Query Language for a Metadata Framework - About Mathematical Resources Self-citation (Schena) (Correct)
No context found.
Schena I. Towards a Semantic Web for Formal Mathematics. Ph.D. Thesis in Computer Science, University of Bologna. Supervisor: A. Asperti, February 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC