Search results for: Lars Thalmann
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 220-236
Studia Logica > 2001 > 69 > 1 > 133-169
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 220-236
Studia Logica > 2001 > 69 > 1 > 133-169