|
- Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Paperback, 2024)
- Renate A. Schmidt, Marijn Heule, Christoph Benzm?ler (엮은이)
- Springer | 2024년 07월 | 2024년 07월
- 68,830원 (10% 할인 / 2,070원)
- 택배로 주문하면 10월 24일 출고 변경
|
|