MPG.eBooks - Search Results - "Rome"

Search alternatives:
rome » role , rose

Cover Image

1

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

Published 2003

Springer Berlin Heidelberg

“... Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003...”