Kohlhase M, Mance F, Rabe F (2013)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2013
Pages Range: 82-97
Event location: Bath
ISBN: 9783642393198
DOI: 10.1007/978-3-642-39320-4_6
APA:
Kohlhase, M., Mance, F., & Rabe, F. (2013). A universal machine for biform theory graphs. In Proceedings of the Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013 (pp. 82-97). Bath.
MLA:
Kohlhase, Michael, Felix Mance, and Florian Rabe. "A universal machine for biform theory graphs." Proceedings of the Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013, Bath 2013. 82-97.
BibTeX: Download