|
- Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, Tableaux 2017, Bras?ia, Brazil, September 25-28, 2017, (Paperback, 2017)
- Renate A. Schmidt, Claudia Nalon (엮은이)
- Springer | 2017년 08월 | 2017년 08월
- 99,250원 (18% 할인 / 4,970원)
- 택배로 주문하면 11월 8일 출고 변경
|
|
