Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 2002

Detaljer

Bibliotek som har denne