Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996

Detaljer

Bibliotek som har denne