logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Kai Brunnler's Books back

language per page order
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 George Metcalfe (author), Kai Brunnler (author)
publisher: Springer publish date: June 22nd 2011
format: paperback pages: 277
language: English
ISBN: 3642221181 (9783642221187)
Need help?