]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/publications/others/mathml2000_apss.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / publications / others / mathml2000_apss.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE publication SYSTEM "publication.dtd">
4
5 <publication>
6  <title>Formal Mathematics in MathML</title>
7  <author file="bologna/asperti"/>
8  <author file="bologna/padovani"/>
9  <author file="bologna/sacerdoti"/>
10  <author file="bologna/schena"/>
11  <where>First MathML International Conference, October 20-21, 2000,
12   Urbana-Champaign, IL, USA.</where>
13 </publication>