|
- Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schlo?Rheinfels, St. Goar, Germany, May 7 - 10, (Paperback, 1995)
- Peter Baumgartner, Reiner Hahnle (엮은이)
- Springer Verlag | 1995년 04월 | 1995년 04월
- 78,900원 (18% 할인 / 3,950원)
- 택배로 주문하면 2025년 1월 22일 출고 변경
|
|