大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP302.2-532/E20011)(共3本)

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

0
索取号：TP302.2-532/E20011/1988
作者：Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、
出版社：Berlin : Springer-Verlag, c1989.

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

0
索取号：TP302.2-532/E20011/1999
作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、
出版社：Berlin ; New York : Springer, c1999.

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

0
索取号：TP302.2-532/E20011/1993
作者：
出版社：Berlin ; New York : Springer-Verlag, c1994.