12th OpenMath Workshop


Eindhoven University of Technology
June 15 - 16, 1999

￿