Extending MKM formats at the statement level

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

Authors with CRIS profile

How to cite

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