( en | de | ru )

 

Disambiguierung von "Fermüller, Christian G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.

, und . LORI, Volume 10455 von Lecture Notes in Computer Science, Seite 422-437. Springer, (2017)

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.

Christian G Bien

Christian G Weisgerber

Christian G Bucher

Christian G Nagel

Christian G Bien

 

Weitere Publikationen von Autoren mit dem selben Namen

Have Spass with OCC1Ng=., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 114-130. Springer, (2000)Parallel Dialogue Games and Hypersequents for Intermediate Logics.. TABLEAUX, Volume 2796 von Lecture Notes in Computer Science, Seite 48-64. Springer, (2003)An Analytic Calculus for Quantified Propositional Gödel Logic., , und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2000)Hyperresolution and Automated Model Building., und . J. Log. Comput., 6 (2): 173-203 (1996)Dual systems of sequents and tableaux for many-valued logics., , und . Bulletin of the EATCS, (1993)Systematic Construction of Natural Deduction Systems for Many-Valued Logics., , und . ISMVL, Seite 208-213. IEEE Computer Society, (1993)From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games., und . EUSFLAT/IWIFSGN (1), Volume 641 von Advances in Intelligent Systems and Computing, Seite 112-124. Springer, (2017)Model Building by Resolution., und . CSL, Volume 702 von Lecture Notes in Computer Science, Seite 134-148. Springer, (1992)Decision Procedures and Model Building in Equational Clause Logic., und . Logic Journal of the IGPL, 6 (1): 17-41 (1998)A Translation Characterizing the Constructive Content of Classical Theories., und . LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 107-121. Springer, (2003)