Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicola Olivetti, editor, Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Volume 4548 of Lecture Notes in Computer Science, Springer, 2007.

Conference: tableaux2007

This author has not been identified. Look up 'Nicola Olivetti' in Google

runs on WebDSL