Cover Image

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.
Description
Physical Description:vi, 346 pages : illustrations
ISBN:0387502416 (U.S.)