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

Automation of reasoning
出版社：Berlin ; New York : Springer, 1983.
ISBN：0387120432
出版年：1983
作者：Siekmann,Jörg H.
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The automation of reasoning : an experimenter''s notebook with OTTER tutorial
  • 作者：Wos,Larry.
  • ISBN：0127634207
  • 出版社：San Diego : Academic Press, 1996.
  • 出版年：1996
...

Automation
  • ISBN：08966052
  • 出版社：Penton Publishing Inc.
  • 出版年：1987
...

Automation
  • 作者：International Water Supply Congress & Exhibition
  • 出版社：London : International Water Supply Association, 1961.
  • 出版年：1961
...

Automation
  • ISBN：00051152
  • 出版社：E. D. Publications Ltd.
  • 出版年：1966
...

Commonsense reasoning
  • 作者：Mueller,Erik T.
  • ISBN：0123693888
  • 出版社：Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006.
  • 出版年：2006
...

Thinking & Reasoning
  • 作者：Aims and Scope of Thinking & Reasoning
  • ISBN：13546783
  • 出版社：Lawrence Erlbaum Associates Lts.
  • 出版年：1995