CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : 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, ©1990.
Descriptionvi, 437 pages : illustrations ; 24 cm.
Subjects
Computer science--Mathematics. --Congresses.
Logic, Symbolic and mathematical--Congresses.

SeriesLecture notes in computer science ; 440
Lecture notes in computer science 440. ^A466336
Bibliography noteIncludes bibliographical references.
LCCN 90010006
ISBN3540527532 :
ISBN0387527532