Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ... Notes in Computer Science (5607), Band 5607)

Conference

von Martin Giese

Taschenbuch

ISBN-13: 978-3-642-02715-4

ISBN-10: 3-642-02715-6

Springer · 2009