Cover Image

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /

Bibliographic Details
Corporate Author: Workshop on Computer Science Logic Swansea, Wales
Other Authors: Börger, E. (Egon), 1946-, Gurevich, Yuri, Meinke, K. (Karl)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 832.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:viii, 336 pages : illustrations ; 23 cm.
ISBN:3540582770 (Berlin : acid-free paper) :
0387582770 (New York : acid-free paper)