logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Kai Brunnler, George Metcalfe
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783642221187 (3642221181)
Publisher: Springer
Pages no: 277
Edition language: English
Bookstores:
Books by George Metcalfe
Books by Kai Brunnler
Share this Book
Need help?