Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 2006

Detaljer

Bibliotek som har denne