LATIN
Logic Atlas & Integrator
Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering.
| Duration: | Nov 1, 2009 - Dec 31, 2012 |
| Partners: | Jacobs-Universität Bremen |
| Homepage: | http://latin.omdoc.org/ |
| Research area: | Software Systems |
| Funding: |
|
