KI 2019: Advances in Artificial Intelligence

42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings

Lecture Notes in Computer Science .11793

Herausgegeben:Benzmueller, Christoph Stuckenschmidt, Heiner

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

税込価格：

15,919円

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

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Lecture Notes in Artificial Intelligence 13040

Herausgegeben:Benzmueller, Christoph Baroni, Pietro W&aacute

出版社：Springer, Berlin; Springer 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. XV

税込価格：

21,711円

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

Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings

Lecture Notes in Computer Science .11092

Herausgegeben:Benzmueller, Christoph Ricca, Francesco Parent, Xavier

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

税込価格：

12,060円

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

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Lecture Notes in Computer Science 14740

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.

出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 版次：2024. 2024. xv

税込価格：

17,851円

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

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14739

Herausgegeben:Benzmueller, Christoph Heule, Marijn Schmidt, Renate A.

出版社：Springer, Berlin; Springer Nature Switzerland; Ijcar 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. xvi

税込価格：

9,645円

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