Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science, 5607)

Ask AI a Question

Brand: Springer

ASIN: 3642027156 (US)

54.99 USD In Stock

Category: N/A (Slug: subjects/computers-technology/business-technology)

Ask a Question about "Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science, 5607)"

0 / 300