Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.)

Författare: Wash.) 2006 : (17th International Conference on Rewriting Techniques and Applications Seattle
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
Springer	uuuu-uuuu	Utgivningsland okänt / Ej specificerat