Horozal F, Rabe F, Kohlhase M (2014)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2014
Publisher: Springer Verlag
Pages Range: 312-327
Event location: Coimbra
ISBN: 9783319084336
DOI: 10.1007/978-3-319-08434-3_23
APA:
Horozal, F., Rabe, F., & Kohlhase, M. (2014). Flexary operators for formalized mathematics. In Proceedings of the 2014 International Conference on Intelligent Computer Mathematics, CICM 2014 (pp. 312-327). Coimbra: Springer Verlag.
MLA:
Horozal, Fulya, Florian Rabe, and Michael Kohlhase. "Flexary operators for formalized mathematics." Proceedings of the 2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra Springer Verlag, 2014. 312-327.
BibTeX: Download