|
- 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원)
- 택배로 주문하면 2월 21일 출고 변경
|
|