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:29 CET 2007.
IST Logo Small