Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science .10501) (1st ed. 2017. 2017. xii, 381 S. 75 SW-Abb. 235

Name: Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science .10501) (1st ed. 2017. 2017. xii, 381 S. 75 SW-Abb. 235
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 2450.00 TWD
Availability: OutOfStock

Herausgegeben von Schmidt, Renate A./ Nalon, Clá/udia

2,450 TWD

Member Price

2,205

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

ISBN

9783319669014

Pages

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

Your Cart

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science .10501) (1st ed. 2017. 2017. xii, 381 S. 75 SW-Abb. 235

Unavailable

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science .10501) (1st ed. 2017. 2017. xii, 381 S. 75 SW-Abb. 235

Recently Viewed Items

Related Products