[´ëÇб³Àç/Àü¹®¼Àû] Term Rewriting and All That
Tobias Nipkow ÀúICambridge University PressI2006.07.31
87,000¿ø
4,350P (5%)