Browse by Person
Up a level |
Jump to: Conference or Workshop Item
Number of items: 1.
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.