( en | de | ru )

 

Disambiguierung von "Geuvers, Herman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-output Ranking for Automated Reasoning.

, , , , und . KDIR, Seite 42-51. SciTePress, (2011)

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.

Herman Keil

Herman Wehling

Herman Pratikto

Herman Hindermayr

Herman Vloed

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-output Ranking for Automated Reasoning., , , , und . KDIR, Seite 42-51. SciTePress, (2011)Classical Natural Deduction from Truth Tables., und . TYPES, Volume 269 von LIPIcs, Seite 2:1-2:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Apartness and Distinguishing Formulas in Hennessy-Milner Logic.. A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 266-282. Springer, (2022)Open Proofs and Open Terms: A Basis for Interactive Logic., und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 537-552. Springer, (2002)Congruence Types., und . CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 36-51. Springer, (1995)Proviola: A Tool for Proof Re-animation., , , und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 440-454. Springer, (2010)A Wiki for Mizar: Motivation, Considerations, and Initial Prototype., , , und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 455-469. Springer, (2010)Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description., , , und . CICM, Volume 8543 von Lecture Notes in Computer Science, Seite 435-439. Springer, (2014)Semantic Graph Kernels for Automated Reasoning., , , und . SDM, Seite 795-803. SIAM / Omnipress, (2011)Natural deduction via graphs: formal definition and computation rules., und . Math. Struct. Comput. Sci., 17 (3): 485-526 (2007)