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

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

Saved in:
Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Karlsruhe, Germany
Other Authors: Richter, Michael M., 1938-, Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1988.
Series:Lecture notes in computer science ; 329.
Subjects:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics.
Description
Physical Description:vi, 346 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:0387502416

Similar Items