PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Benzmüller, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Higher-Order Modal Logics: Automation and Applications.

, und . Reasoning Web, Volume 9203 von Lecture Notes in Computer Science, Seite 32-74. Springer, (2015)

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.

Christoph Schulz University of Stuttgart

Hon. -Prof. Christoph Müller University of Stuttgart

Dr. -Ing. Christoph Wenzel University of Stuttgart

Christoph Jeromin University of Stuttgart

Dr.-Ing. Christoph Steinhausen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , und . Resource-Adaptive Cognitive Processes, Springer, (2011)Axiomatizing Category Theory in Free Logic., und . CoRR, (2016)A Structured Set of Higher-Order Problems., und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2005)Types, Tableaus and Gödel's God in Isabelle/HOL., und . Archive of Formal Proofs, (2017)Can a Higher-Order and a First-Order Theorem Prover Cooperate?., , , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 415-431. Springer, (2004)Leo-III Version 1.1 (System description)., , und . IWIL@LPAR, Volume 1 von Kalpa Publications in Computing, EasyChair, (2017)Deep Inference for Automated Proof Tutoring?, , , und . KI, Volume 4667 von Lecture Notes in Computer Science, Seite 435-439. Springer, (2007)Experiments with an Agent-Oriented Reasoning System., , , und . KI/ÖGAI, Volume 2174 von Lecture Notes in Computer Science, Seite 409-424. Springer, (2001)Progress in Automating Higher-Order Ontology Reasoning., und . PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 22-32. EasyChair, (2010)Agent based mathematical reasoning., , , und . Electr. Notes Theor. Comput. Sci., 23 (3): 340-351 (1999)