|
- [외국도서] Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Paperback, 1994)
- Alan Bundy (엮은이)
- Springer | 1994년 06월 | 1994년 06월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 8월 14일 출고 변경
|
|