Importing the OEIS library into OMDoc

Luzhnica E, Iancu M, Kohlhase M (2015)


Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2015

Publisher: CEUR-WS

Book Volume: 1458

Pages Range: 296-303

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84944342791&origin=inward

Authors with CRIS profile

How to cite

APA:

Luzhnica, E., Iancu, M., & Kohlhase, M. (2015). Importing the OEIS library into OMDoc. In Proceedings of the Learning, Knowledge, Adaptation Workshops, LWA 2015: Knowledge Discovery, Data Mining and Machine Learning, KDML 2015, Knowledge Management, FGWM 2015, Information Retrieval, IR 2015 and Database Systems, FGDB 2015 (pp. 296-303). CEUR-WS.

MLA:

Luzhnica, Enxhell, Mihnea Iancu, and Michael Kohlhase. "Importing the OEIS library into OMDoc." Proceedings of the Learning, Knowledge, Adaptation Workshops, LWA 2015: Knowledge Discovery, Data Mining and Machine Learning, KDML 2015, Knowledge Management, FGWM 2015, Information Retrieval, IR 2015 and Database Systems, FGDB 2015 CEUR-WS, 2015. 296-303.

BibTeX: Download