Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings


International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995

Detaljer

Bibliotek som har denne