【书名】：《Lecture Notes in Computer Science 4533 Term Rewriting and Applications 18th International Conference,RTA 2007,,Springer-Verlag Berlin Heidelberg,2007》
【作者】：
【出版社】：
【时间】：
【页数】：419
【ISBN】：9783540734475
【SS码】：40358044