Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, - detaljert visning

Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings

International CTRS Workshop
Bok Engelsk 1993


Utgitt	Berlin : Springer-Verlag , c1993
Omfang	XI, 501 s. : fig.
Emner	Rewriting systems (Computer science) - Congresses Logikkprogrammering Omskrivning (Programmering) Omskrivning omskrivningssystemer omskrivningsteknikker omskrivingssystemer programmeringsteori
ISBN	0387563938. - 3540563938