CSL '87
Subtitle: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
By: E. Börger, H. Kleine Büning, M.M. Richter (eds.).
Contributors: Börger, E. 1946-; Kleine Büning, H.; Richter, Michael M., 1938-
Series: Lecture notes in computer science ;; 329
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 346
Subjects: Computers -- Congresses.; Electronic data processing -- Congresses.; Logic, Symbolic and mathematical -- Congresses.; Computer science -- Mathematics.
Notes: Includes bibliographical references.