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
Herausgegeben von Schmidt, Renate A.
Nalon, Clá
udia
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2017年 00月
- ISBN：9783319669014
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2017. 2017. xii