Cover Image

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings /

Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Bern, Switzerland
Other Authors: Börger, E. (Egon), 1946-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1992]
Series:Lecture notes in computer science ; 626.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:428 pages : illustrations
Bibliography:Includes bibliographical references.
ISBN:354055789X (Berlin)
038755789X (New York)