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

Bibliographic Details
Other Authors: Kaplan, S. (Stéphane), 1961-, Jouannaud, Jean-Pierre
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1988]
Series:Lecture notes in computer science ; 308.
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA267 .C5933 1988
 
Call Number Status Get It
QA267 .C5933 1988 Available