Results
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
© 2000
Soft cover - Print (ISBN: 978-3-540-67697-3)
Electronic (ISBN: 978-3-540-45008-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-45008-5