Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Author(s)
Bibliographic Information
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
（Lecture notes in computer science, 832）
Springer-Verlag, c1994
- : gw
- : us
Available at 59 libraries
Note
"The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19
Includes bibliographical references