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

Analogical and inductive inference : International Workshop AII ''92 Dagstuhl Castle Germany Octob
出版社：Berlin ; New York : Springer-Verlag, c1992.
ISBN：3540560041
出版年：1992
作者：Jantke,K.P.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Analogical and inductive inference : International Workshop AII ''89, Reinhardsbrunn Castle, GDR, Oct
  • 作者：Jantke,K.P.
  • ISBN：0387517340
  • 出版社：Berlin ; New York : Springer-Verlag, 1989.
  • 出版年：1989
...

Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17
  • 作者：Fronh鑟fer,B.
  • ISBN：3540554254
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, Dec
  • 作者：Brewka,G.
  • ISBN：3540564330
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, Sep
  • 作者：Leue,Stefan.
  • ISBN：3540261893
  • 出版社：Berlin : Springer, c2005.
  • 出版年：2005
...

Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, Octob
  • 作者：PTCS 2001
  • ISBN：354042752X
  • 出版社：Berlin ; New York : Springer, c2001.
  • 出版年：2001
...

Analogical and inductive inference : proceedings
  • 作者：Jantke,K. P.
  • ISBN：0387180818
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987