Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 ... Notes in Computer Science (1847), Band 1847)
von
Roy Dyckhoff
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-67697-3
ISBN-10: 3-540-67697-X
Springer
· 2008