Importing the OEIS Library Into OMDoc - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase. Importing the OEIS Library Into OMDoc. In Ralph Bergmann, Sebastian Görg, Gilbert Müller, editors, Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, Trier, Germany, October 7-9, 2015. Volume 1458 of CEUR Workshop Proceedings, pages 296-303, CEUR-WS.org, 2015. [doi]

This author has not been identified. Look up 'Enxhell Luzhnica' in GoogleThis author has not been identified. Look up 'Mihnea Iancu' in GoogleThis author has not been identified. Look up 'Michael Kohlhase' in Google

runs on WebDSL