Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, Proceedings
Format: paperback
ISBN:
9783540730989 (3540730982)
Publish date: June 21st 2007
Publisher: Springer
Pages no: 244
Edition language: English