|
- [외국도서] Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Paperback)
- Renate A. Schmidt
- Springer-Verlag New York Inc | 2009년 07월 | 2009년 07월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 9월 4일 출고 변경
|
|