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.

Remote Storage