Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. ... / Lecture Notes in Artificial Intelligence)

von: Marta Cialdea Mayer · Fiora Pirri Springer Berlin Heidelberg · 2003 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN-13: 978-3-540-40787-4 ISBN-10: 3-540-40787-1