Search results for: Neil V. Murray
Lecture Notes in Computer Science > Foundations of Intelligent Systems > Logic for Artificial Intelligence > 285-293
Lecture Notes in Computer Science > Foundations of Intelligent Systems > Theoretical Backgrounds of AI > 203-213
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 172-186
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 165-180
Lecture Notes in Computer Science > EUROCAL '85 > 50-63
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 250-264
Lecture Notes in Computer Science > Automated Reasoning > Saturation Based Theorem Proving, Applications, and Data Structures > 182-194
Lecture Notes in Computer Science > Foundations of Intelligent Systems > Logic for Artificial Intelligence > 203-214
Lecture Notes in Computer Science > Foundations of Intelligent Systems > Logical and Theoretical Aspects of Intelligent Systems > 191-200
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 3 > 155-167
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 183-198