Automated Deduction - CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Lecture Notes in Computer Science 14132
Herausgegeben:Pientka, Brigitte
Tinelli, Cesare
- 出版社：Springer, Berlin; Springer Nature Switzerland; Cade C
- 出版年月：2023年 00月
- ISBN：9783031384981
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2023. 2023. xxv