logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, Proceedings - Nicola Olivetti
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, Proceedings
by: (author)
Format: paperback
ISBN: 9783540730989 (3540730982)
Publisher: Springer
Pages no: 244
Edition language: English
Bookstores:
Books by Nicola Olivetti
Share this Book
Need help?