Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Frank Pfenning (ed.)
Bok Engelsk 2006 International Conference on Rewriting Techniques and Applications
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XIII, 414 s. : ill.
|
| Emner | |
| ISBN | 3540368345. - 9783540368342
|
