Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

Transforming the arχiv to XML

Stamerjohanns H, Kohlhase M (2008)

---

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2008

Pages Range: 574-582

Event location: Birmingham

ISBN: 9783540851097

DOI: 10.1007/978-3-540-85110-3_46

Authors with CRIS profile

How to cite

APA:

Stamerjohanns, H., & Kohlhase, M. (2008). Transforming the arχiv to XML. In Proceedings of the 9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008 (pp. 574-582). Birmingham.

MLA:

Stamerjohanns, Heinrich, and Michael Kohlhase. "Transforming the arχiv to XML." Proceedings of the 9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008, Birmingham 2008. 574-582.

BibTeX: Download