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

Algebraic and logic programming : 6th international joint conference ALP ''97-HOA ''97 Southampton

出版社：Berlin ; New York : Springer-Verlag, c1997.
ISBN：3540634592
出版年：1997
作者：Hanus,Michael,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Algebraic methodology and software technology : 6th international conference, AMAST ''97, Sydney, Aus
  • 作者：Johnson,Michael
  • ISBN：3540638881
  • 出版社：Berlin ; New York : Springer-Verlag, c1997.
  • 出版年：1997
...

Algebraic and logic programming : 5th international confernence, ALP ''96, Aachen, Germany, September
  • 作者：Hanus,Michael
  • ISBN：3540617353
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR ''97, Dagstuhl Cas
  • 作者：Dix,Jrgen
  • ISBN：3540632557
  • 出版社：Berlin ; New York : Springer, 1997.
  • 出版年：1997
...

Algebraic and logic programming : 4th international confernence, ALP ''94, Madrid, Spain, September 1
  • 作者：Levi,Giorgio
  • ISBN：3540584315
  • 出版社：Berlin : Springer-Verlag, 1994.
  • 出版年：1994
...

Database theory--ICDT''97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : procee
  • 作者：Afrati,Foto
  • ISBN：3540622225
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997
...

Logic for programming and automated reasoning : 6th International Conference, LPAR''99, Tbilisi, Geor
  • 作者：LPAR ''99
  • ISBN：3540664920
  • 出版社：Berlin ; New York : Springer, 1999.
  • 出版年：1999