Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999

Detaljer

Bibliotek som har denne