|
- 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,320원 (10% 할인 / 2,050원)
- 택배로 주문하면 8월 30일 출고 변경
|
|