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月
- ISBN：9783319942049
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2018. 2018. xviii
- 巻数・ページ数：600 p.