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

CSL'' 88 : 2nd Workshop on Computer Science Logic Duisburg FRG Oct. 3-7 1988 : proceedings
出版社：Berlin : Springer, c1989
ISBN：354051659X
出版年：1989
作者：Borger,E.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

CSL ''87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings
  • 作者：BOrger,E.
  • ISBN：0387502416
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
  • 作者：Reinfrank,M.
  • ISBN：0387507019
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL,
  • 作者：CSL 2008
  • ISBN：9783540875307
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008