Autor der Publikation

Progress in Automating Higher-Order Ontology Reasoning.

, und . PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 22-32. EasyChair, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Progress in Automating Higher-Order Ontology Reasoning., und . PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 22-32. EasyChair, (2010)Combining Logics in Simple Type Theory.. CLIMA, Volume 6245 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2010)An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving., , , , , , , und . LREC, European Language Resources Association, (2004)Computer-supported Exploration of a Categorical Axiomatization of Modeloids., , , und . CoRR, (2019)Experiments with an Agent-Oriented Reasoning System., , , und . KI/ÖGAI, Volume 2174 von Lecture Notes in Computer Science, Seite 409-424. Springer, (2001)Deep Inference for Automated Proof Tutoring?, , , und . KI, Volume 4667 von Lecture Notes in Computer Science, Seite 435-439. Springer, (2007)A Structured Set of Higher-Order Problems., und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2005)Extensional Higher-Order Resolution., und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 56-71. Springer, (1998)System Description: LEO - A Higher-Order Theorem Prover., und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 139-144. Springer, (1998)Proof Development with OMEGA., , , , , , , , , und 7 andere Autor(en). CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 144-149. Springer, (2002)