|
- Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedin (Paperback) - 18th International Conference, Tableaux 2009, Oslo, Norway, July 6-10, 2009, Proceedings
- Martin Giese, Arild Waaler
- Springer-Verlag New York Inc | 2009년 06월 | 2009년 06월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 9월 19일 출고 변경
|
|