Home Page
Overview
Consortium
Bibliography
Members' Area
Contact
Links
FP6
Links
Related Projects
Mathematics On The NET (MONET)
OpenMath
TRIAL-SOLUTION
MoWGLI
Theorema
Related Meetings and Proceedings
Thirty Five Years of Automath
Wednesday 10-Saturday 13 April 2002
Our Sponsors
Information Access, Filtering, Analysis and Handling
, part of the
IST
Programme.
Home Page
Overview
Consortium
Bibliography
Members' Area
Contact
Links
FP6
Maintained by
Mike Dewar
© The MKMNET Consortium 2002-2003