Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997

Detaljer

Bibliotek som har denne