Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002

By Dominik Weishaupt

This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 - August 1, 2002 in... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540439293
• ISBN13: 9783540439295
• Release Date: July 2002
• Publisher: Springer
• Length: 346 Pages
• Weight: 1.82 lbs.
• Dimensions: 0.7" x 8.5" x 11.0"