CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /

Bibliographic Details
Corporate Author:	Workshop on Computer Science Logic Duisburg, Germany
Other Authors:	Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans), Richter, Michael M., 1938-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 385.
Subjects:	Computer science > Mathematics. Logic, Symbolic and mathematical.

Remote Storage