|
- 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월
- 71,660원 (18% 할인 / 3,590원)
- 택배로 주문하면 11월 18일 출고 변경
|
|
