Project
Home
Consortium
People
Project
Work Packages
Deliverables
MoWGLI Events
Other Events
News Archive
Members Area
Publications
Software
(
CVS
)
Jobs
Related
Matita
HELM
DAMA
ActiveMath
MathML
OpenMath
OMDoc
MKM Network
Bibliography
Contact
Project Leader:
Prof. Andrea Asperti
Webmaster:
mowgli-webmaster@cs.unibo.it
[
Frames
]
MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Dr. Michael Kohlhase
e-mail: kohlhase at cs dot cmu dot edu
Home Page:
http://www.ags.uni-sb.de/~kohlhase/
This page is hosted by the
Department of Computer Science
,
University of Bologna
.
Last updated
Fri Feb 2 17:12:22 CET 2007
.