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

Analogy of automated reasoning
出版社：London ; San Diego : Academic Press, c1990.
ISBN：0125317158
出版年：1990
作者：Owen,Stephen
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Representation, reasoning, analogy, and decision making
  • 作者：Gilhooly,K. J.
  • ISBN：047192427X
  • 出版社：Chichester [England] ; New York : Wiley, c1990.
...

Logic programming and automated reasoning
  • 作者：Pfenning,Frannk.,
  • ISBN：3540582169
  • 出版社：Berlin : Springer-Verlag, 1994
  • 出版年：1994
...

Journal of Automated Reasoning.
  • ISBN：01687433
  • 出版社：Springer
  • 出版年：2021
...

Automated reasoning : introduction and applications
  • 作者：Wos,Larry
  • ISBN：0130544531
  • 出版社：Englewood Cliffs, N.J : Prentice-Hall, 1984.
  • 出版年：1984
...

Handbook of practical logic and automated reasoning
  • 作者：Harrison,J.
  • ISBN：9780521899574
  • 出版社：Cambridge ; New York : Cambridge University Press, 2009.
  • 出版年：2009
...

Automated Practical Reasoning : Algebraic Approches
  • 作者：Pfalzgraf,Jochen. ed.
  • ISBN：3211826009
  • 出版社：Wien : Springer-Verlag, 1995.
  • 出版年：1995