Cover Image

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /

Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Heidelberg, Germany
Other Authors: Börger, E. (Egon), 1946-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Lecture notes in computer science ; 533.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:viii, 399 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540544879 (Berlin)
0387544879 (New York)