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)

Conference

von Roy Dyckhoff

Taschenbuch

ISBN: 978-3-540-67697-3

ISBN-10: 3-540-67697-X

Springer · 2008