Conditional Term Rewriting Systems electronic resource : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings / edited by Michael Rusinowitch, Jean-Luc Remy

Författare
International Workshop CTRS
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat