Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. ... Notes in Computer Science (2796), Band 2796)
von:
Marta Cialdea Mayer ·
Fiora Pirri
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-40787-4
ISBN-10: 3-540-40787-1
Springer
· 2008
