Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, ... / Lecture Notes in Artificial Intelligence)

von: Martin Giese · Arild Waaler Springer Berlin Heidelberg · 2009 Taschenbuch Details (Deutschland) Details (Vereinigte Staaten) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) Details (Spanien - España) ISBN-13: 978-3-642-02715-4 ISBN-10: 3-642-02715-6