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:

Publications within the Project

© DFKI GmbH
last updated 08/02/2017
to top