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

会員価格

2,205

分享貼文

数量:

發行商

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

出版日期

國際標準書號

9783319669014

版型/頁數

項目類型

Book

格式

Paperback

無法提供

此產品目前缺貨，如需確認是否可提供訂購，請與我們聯繫。

カート

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

無法提供

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

最近瀏覽的項目

相關產品