|
- Automated Deduction - Cade 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings (Paperback, 2023)
- Cesare Tinelli, Brigitte Pientka (엮은이)
- Springer | 2023년 09월 | 2023년 09월
- 75,350원 (10% 할인 / 2,270원)
- 택배로 주문하면 9월 25일 출고 변경
|
|
