Cover Image

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /

Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic Paderborn, Germany, European Association for Computer Science Logic
Other Authors: Kleine Büning, H. (Hans)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1092.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:viii, 485 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540613773 (softcover : alk. paper)