Abschlussarbeiten

Jump to bottom Edit New page

Max edited this page Jun 26, 2014 · 2 revisions

List von Möglichen Arbeitsthemen

LeoIII - Routinen

Unifikation
Substituieren
Expansion von Definitionen
Induktion
Maschinelles Lernen : Auswahl von Algorithmen / Agenten / ...
...

LeoIII - Anwender Schnittstelle

Formel darstellung / Eingabe
Beweisaufbereitung
...

Onthologien / Modelierungen / Anwedungen

Semantische Zeitung
...

Home | Guidelines | Protocols of earlier meetings | Upcoming Meeting