Projekt

LATIN

Logic Atlas & Integrator

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung.

Partner

Jacobs-Universität Bremen

Fördergeber

DFG

Projektnr. 153521872

DFG

Projekt teilen auf:

Keyfacts

Publikationen zum Projekt

In: Hans-Jörg Kreowski , (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) befindet sich 20th July 1-4 Schloss Etelsen Germany LNCS 7137 Springer 2012.

Zur Publikation
Fulya Horozal, Florian Rabe,

In: Hans-Jörg Kreowski , (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation
Fulya Horozal, Florian Rabe,

In: Hans-Jörg Kreowski , (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Seiten 118-138 Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence