Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Cialdea Mayer, Fiora Pirri, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Volume 2796 of Lecture Notes in Computer Science, Springer, 2003.

Conference: tableaux2003

This author has not been identified. Look up 'Marta Cialdea Mayer' in GoogleThis author has not been identified. Look up 'Fiora Pirri' in Google

runs on WebDSL