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

Finite Model Searching :An Introduction and Some Personal Notes
出版社：中国科学院
出版年：2003
作者：Zhang Jian
资源类型：图书
细分类型：中文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

An introduction to automated literature searching
  • 作者：Hartner,Elizabeth P.,
  • ISBN：0824712935
  • 出版社：New York : M. Dekker, c1981.
  • 出版年：1981
...

An introduction to online searching
  • 作者：Li,Tze-Chung.
  • ISBN：0313242747
  • 出版社：London : Greenwood Pr., 1985.
  • 出版年：1985
...

Online searching : an introduction
  • 作者：Henry,W. M.
  • 出版社：London : Butterworths, 1980
  • 出版年：1980
...

Online searching : an introduction
  • 作者：Henry,W. M.
  • ISBN：0408106964
  • 出版社：London : Butterworths, 1980.
  • 出版年：1980
...

Finite model theory
  • 作者：Ebbinghaus,Heinz-Dieter,
  • ISBN：3540287876
  • 出版社：New York, NY : Springer, 2006.
  • 出版年：2006
...

Finite model theory
  • 作者：Ebbinghaus,Heinz-Dieter,
  • ISBN：354060149X
  • 出版社：Berlin ; New York : Springer, c1995.
  • 出版年：1995