|
- Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Paperback, 1998)
- Claude Kirchner
- Springer Verlag | 1998년 06월 | 1998년 06월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 11월 18일 출고 변경
|
|