|
- 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월
- 100,580원 (18% 할인 / 5,030원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
