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

Involved external institutions

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