| Publication type: |
Article in Proceedings |
| Author: |
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe |
| Editor: |
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe |
| Title: |
Project Abstract: Logic Atlas and Integrator (LATIN) |
| Book / Collection title: |
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings |
| Volume: |
6824 |
| Page(s): |
289 – 291 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2011 |
| Publisher: |
Springer-Verlag Berlin Heidelberg |
| Internet: |
http://www.springerlink.com/content/978-3-642-22672-4/#section=924827 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/cicm11.pdf |
| Keywords: |
logic formalisation translation LF |
| Status: |
Reviewed |
| Last updated: |
04. 09. 2012 |
|
 |
