CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

Author/creator Workshop on Computer Science Logic
Other author Börger, E. (Egon), 1946-
Other author Kleine Büning, H. (Hans)
Other author Richter, Michael M., 1938-
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1988.
Descriptionvi, 346 pages : illustrations ; 25 cm.
Subjects
Computers--Congresses.
Computer programming--Congresses.
Logic, Symbolic and mathematical--Congresses.
Computer science--Mathematics.

SeriesLecture notes in computer science ; 329
Lecture notes in computer science 329. ^A466336
Bibliography noteIncludes bibliographies.
LCCN 88024900
ISBN0387502416 (U.S.)