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: 128.16 SGD
Availability: InStock

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

128.16 SGD

Member Price

115.35

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

ISBN

9783319669014

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

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

Available to Order

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