|
- [외국도서] Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Paperback)
- 데일 밀러 (Dale Miller), Bernhard Gramlich, Uli Sattler (엮은이)
- Springer | 2012년 06월 | 2012년 06월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 12월 6일 출고 변경
|
|
