Search results for: Gernot Stenz
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Automated Theorem Proving > 142-156
Lecture Notes in Computer Science > Advanced Topics in Artificial Intelligence > Automated Reasoning > 231-243
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Planning / Theorem Proving / Artificial Life > 254-266
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions > 338-342
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions > 312-317
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions Papers > 335-339
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions > 436-440
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 117-133
Lecture Notes in Computer Science > Automated Reasoning > DCTP - A Disconnection Calculus Theorem Prover - System Abstract > 381-385
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 176-190
Lecture Notes in Computer Science > Automated Reasoning > Tableaux and Non-classical Logics > 289-306
Journal of Automated Reasoning > 2007 > 38 > 1-3 > 79-126