|
- 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월
- 78,390원 (18% 할인 / 3,920원)
- 택배로 주문하면 2월 7일 출고 변경
|
|