A foundational view on integration problems

Rabe F, Kohlhase M, Sacerdoti Coen C (2011)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2011

Pages Range: 107-122

Event location: Bertinoro

ISBN: 9783642226724

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

Authors with CRIS profile

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

Involved external institutions

University of Bologna / Università di Bologna IT Italy (IT)

How to cite

APA:

Rabe, F., Kohlhase, M., & Sacerdoti Coen, C. (2011). A foundational view on integration problems. 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. 107-122). Bertinoro.

MLA:

Rabe, Florian, Michael Kohlhase, and Claudio Sacerdoti Coen. "A foundational view on integration problems." 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. 107-122.

BibTeX: Download