Project abstract: Logic atlas and integrator (LATIN)

Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F (2011)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2011

Pages Range: 289-291

Event location: Bertinoro

ISBN: 9783642226724

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

Authors with CRIS profile

Silvestru Mihai Codescu Lehrstuhl für Informatik 8 (Theoretische Informatik) Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Otto-von-Guericke-Universität Magdeburg DE Germany (DE)

How to cite

APA:

Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., & Rabe, F. (2011). Project abstract: Logic atlas and integrator (LATIN). 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. 289-291). Bertinoro.

MLA:

Codescu, Silvestru Mihai, et al. "Project abstract: Logic atlas and integrator (LATIN)." 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. 289-291.

BibTeX: Download