题名:
|
International Conference on Rewriting Techniques and Applications "RTA-87"(2nd : Bordeaux) / , |
ISBN:
|
价格: ¥104.09 |
语种:
|
eng |
载体形态:
|
285 p. |
出版发行:
|
出版地: Berlin 出版社: Springer 出版日期: 1987 |
其它题名:
|
Rewriting techniques and applications : proceedings |
主要团体责任者:
|
International Conference on Rewriting Techniques and Applications "RTA" |
索书号:
|
1 |