|
- Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2 (Paperback) - 14th Symposium, Calculemus 2007, 6th International Conference, Mkm 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
- Robert Miner, Manfred Kerber, Manuel Kauers (엮은이)
- Springer-Verlag New York Inc | 2007년 06월 | 2007년 06월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 12월 2일 출고 변경
|
|