Rabe F, Kohlhase M (2008)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2008
Book Volume: 418
Pages Range: 50-66
Event location: Doha
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84885598893&origin=inward
APA:
Rabe, F., & Kohlhase, M. (2008). An exchange format for modular knowledge. In Proceedings of the LPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008 (pp. 50-66). Doha.
MLA:
Rabe, Florian, and Michael Kohlhase. "An exchange format for modular knowledge." Proceedings of the LPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008, Doha 2008. 50-66.
BibTeX: Download