|
- Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Paperback, 1996)
- M. A. McRobbie
- Springer Verlag | 1996년 07월 | 1996년 07월
- 163,390원 (18% 할인 / 8,170원)
- 택배로 주문하면 10월 15일 출고 변경
|
|
