|
- Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Paperback, 1994)
- Tobias Nipkow, Bernhard Moller, Jan Heering , Karl Meinke (엮은이)
- Springer Verlag | 1994년 07월 | 1994년 07월
- 76,340원 (18% 할인 / 3,820원)
- 택배로 주문하면 10월 15일 출고 변경
|
|
