CEO Articulate Software
Adresse
420 College Ave
Angwin CA
USA
Angwin CA
Projekte
Forschungsstipendien
abgeschlossene Projekte
Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien
(Antragsteller
Benzmüller, Christoph
)