|
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'99, Saratoga Springs, NY, USA, June 7-11, 1999, Pro (Paperback, 1999)
- Neil V. Murray
- Springer Verlag | 1999년 05월 | 1999년 05월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 11월 25일 출고 변경
|
|