Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Robert Nieuwenhuis (ed.)
Bok Engelsk 2003 International Conference on Rewriting Techniques and Applications
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | XI, 514 s. : ill.
|
| Emner | |
| ISBN | 3540402543
|
