Horozal F, Kohlhase M, Rabe F (2012)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2012
Pages Range: 65-80
Event location: Bremen
ISBN: 9783642313738
DOI: 10.1007/978-3-642-31374-5_5
APA:
Horozal, F., Kohlhase, M., & Rabe, F. (2012). Extending MKM formats at the statement level. In Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012 (pp. 65-80). Bremen.
MLA:
Horozal, Fulya, Michael Kohlhase, and Florian Rabe. "Extending MKM formats at the statement level." Proceedings of the Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012, Bremen 2012. 65-80.
BibTeX: Download