Computer science logic : 6th Workshop, CSL ''92, San Miniato, Italy, September 28-October 2, 1992 : s

Computer science logic : 6th Workshop CSL ''92 San Miniato Italy September 28-October 2 1992 : s

出版社：Berlin ; New York : Springer-Verlag, 1993.

ISBN：3540569928

出版年：1993

作者：Brger,E.

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

CSL ''89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedin

作者：Brger,E.
ISBN：3540527532
出版社：Berlin ; New York : Springer-Verlag, c1990.
出版年：1990

Computer science logic : 5th Workshop, CSL ''91, Berne, Switzerland, October 1991 : proceedings

作者：Brger,
ISBN：354055789X
出版社：Berlin ; New York : Springer-Verlag, c1992.
出版年：1992

Computer science logic : 8th workshop, CSL ''94, Kazimierz, Poland, September 25-30, 1994 : selected

作者：Workshop on Computer Science Logic
ISBN：3540600175
出版社：Berlin : Springer-Verlag, 1995.
出版年：1995

Logic in databases : International Workshop LID ''96, San Miniato, Italy, July 1-2, 1996 : proceeding

作者：International Workshop LID''96
ISBN：3540618147
出版社：Berlin ; New York : Springer, c1996.
出版年：1996

Computer science logic : 4th workshop, CSL ''90, Heidelberg, Germany, October 1-5, 1990 : proceedings

作者：Workshop on Computer Science Logic
ISBN：3540544879
出版社：Berlin ; New York : Springer-Verlag, c1991.
出版年：1991

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

作者：B鑟rger,E.
ISBN：038751659X
出版社：Berlin ; New York : Springer-Verlag, c1989.
出版年：1989