|
- Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. P (Paperback, 1996)
- P. Miglioli , Pierangelo Miglioli (엮은이)
- Springer Verlag | 1996년 04월 | 1996년 04월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 9월 9일 출고 변경
|
|