Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, ... Notes in Computer Science, Band 1617)
von
Neil V. Murray
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-66086-6
ISBN-10: 3-540-66086-0
Springer
· 2008
