Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, 26-28.06.2007 : proceedings / edited by Franz Baader

Författare
France) 2007 : (18th International Conference on Rewriting Techniques and Applications Paris
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer-Verlag uuuu-uuuu Utgivningsland okänt / Ej specificerat