| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe |
| Herausgeber: |
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe |
| Titel: |
Project Abstract: Logic Atlas and Integrator (LATIN) |
| Buch / Sammlungs-Titel: |
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings |
| Band: |
6824 |
| Seite(n): |
289 – 291 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2011 |
| Verleger: |
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 |
| Schlagworte: |
logic formalisation translation LF |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
04. 09. 2012 |
