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