Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / edited by Robert Nieuwenhuis

Författare: Spain) 2003 : (14th International Conference on Rewriting Techniques and Applications Valencia
Språk: Okänt

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