登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

CSL ''87 : 1st Workshop on Computer Science Logic Karlsruhe FRG October 1987 : proceedings
出版社：Berlin ; New York : Springer-Verlag, c1988.
ISBN：0387502416
出版年：1988
作者：BOrger,E.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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
...

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 : 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, Oct. 3-7, 1988 : proceedings
  • 作者：Borger,E.
  • ISBN：354051659X
  • 出版社：Berlin : Springer, c1989
  • 出版年：1989
...

CSL'' 88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, Oct. 3-7, 1988 : proceedings
  • 作者：Borger,E.
  • ISBN：354051659X 170.86
  • 出版社：Berlin : Springer, c1989
  • 出版年：1989
...

Computer science logic : 5th Workshop, CSL ''91, Berne, Switzerland, October 1991 : proceedings
  • 作者：Brger,
  • ISBN：354055789X
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992