Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Jürgen Giesl (ed.)
Bok Engelsk 2005 International Conference on Rewriting Techniques and Applications
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIII, 515 s. : ill.
|
| Emner | |
| ISBN | 3540255966. - 9783540255963
|
