Conference or Workshop Item

Libbrecht, P. and Smith, Tim J. (2007) Integrated semantic math I/O in ActiveMath: an evaluation. In: Sixth Mathematical Knowledge Management Conference, 27 Jun 2007, Linz, Austria.