|
- 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월
- 122,380원 (10% 할인 / 3,680원)
- 택배로 주문하면 10월 18일 출고 변경
|
|