|
- Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, UK, August 22-25, 2005, Proceedings (Paperback, 2005)
- Joe Hurd, Tom Melham (엮은이)
- Springer-Verlag New York Inc | 2005년 08월 | 2005년 08월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 10월 25일 출고 변경
|
|