Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings


S. Kaplan, J.-P. Jouannaud (eds.)
Bok Engelsk 1988

Detaljer

Bibliotek som har denne