|
- Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr (Paperback, 2013) - 22th International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Proceedings
- Didier Galmiche, Dominique Larchey-wendling (엮은이)
- Springer-Verlag New York Inc | 2013년 08월 | 2013년 08월
- 70,720원 (18% 할인 / 3,540원)
- 택배로 주문하면 8월 7일 출고 변경
|
|
