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