Licensing the Mizar mathematical library

Kohlhase M, Urban J (2011)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2011

Pages Range: 149-163

Event location: Bertinoro

ISBN: 9783642226724

DOI: 10.1007/978-3-642-22673-1_11

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Univerzita Karlova v Praze / Charles University in Prague CZ Czech Republic (CZ)

How to cite

APA:

Kohlhase, M., & Urban, J. (2011). Licensing the Mizar mathematical library. In Proceedings of the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011 (pp. 149-163). Bertinoro.

MLA:

Kohlhase, Michael, and Josef Urban. "Licensing the Mizar mathematical library." Proceedings of the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011, Bertinoro 2011. 149-163.

BibTeX: Download