Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, ... Notes in Computer Science (1397), Band 1397)
von
Harrie de Swart
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-64406-4
ISBN-10: 3-540-64406-7
Springer
· 1998