CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings /

Bibliographic Details
Corporate Author:	Workshop on Computer Science Logic Karlsruhe, 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, [1988]
Series:	Lecture notes in computer science ; 329.
Subjects:	Computers > Congresses. Electronic data processing > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage