In: Proceedings of the Poster Session of the Sixth International Conference on Language Resources and Evaluation, LREC 2008. International Conference …
International Conference on Mathematical Knowledge Management (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - …
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner