[Frames]

 
IST Logo Small

Formal Mathematics in MathML

A. Asperti ; L. Padovani ; C. Sacerdoti Coen ; I. Schena

First MathML International Conference, October 20-21, 2000, Urbana-Champaign, IL, USA.


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