Search results for: Christian G. Fermüller
Soft Computing > 2019 > 23 > 7 > 2255-2270
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 65-79
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Databases and Knowledge Bases > 639-653
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Contributed Papers > 167-174
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 451-466
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 48-64
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Automated Theorem Proving > 201-216
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 156-171
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 212-226
Studies in Fuzziness and Soft Computing > Beyond Two: Theory and Applications of Multiple-Valued Logic > Proof Theory and Automated Deduction in Multiple-valued Logics > 157-180
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Theorem proving > 114-130
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 77-91