|
- Logic for Programming, Artificial Intelligence, and Reasoning (Paperback) - 16th International Conference, Lpar-16, Dakar, Senegal, April 25-may 1, 2010, Revised Selected Papers
- Edmund M. Clarke (엮은이)
- Springer-Verlag New York Inc | 2011년 01월 | 2011년 01월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 11월 20일 출고 변경
|
|