Rewriting Techniques and Applications electronic resource : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / edited by Aart Middeldorp

Författare: International Conference on Rewriting Techniques and Applications
Språk: Okänt

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