Automated Reasoning with Analytic Tableaux and Related Methods

22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .8123

Herausgegeben von Galmiche, Didier Larchey-Wendling, Dominique

出版社：Springer, Berlin 出版年月：2013年 08月
装丁：PAP 版次：2013. x

税込価格：

10,907円

海外在庫あり 通常２～５週間で出荷

Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Lecture Notes in Computer Science 10900

Herausgegeben von Galmiche, Didier Schulz, Stephan Sebastiani, Roberto

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xviii

税込価格：

11,853円

海外在庫あり 通常２～５週間で出荷