|
- [외국도서] Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed (Paperback, 1997)
- Didier Galmiche (엮은이)
- Springer Verlag | 1997년 04월 | 1997년 04월
- 82,230원 (18% 할인 / 4,120원)
- 택배로 주문하면 9월 6일 출고 변경
|
|