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

Journal of Automated Reasoning.
出版社：Springer
ISBN：01687433
出版年：2021
资源类型：期刊,期刊(装订的)
细分类型：现刊阅览,过刊阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The fundamentals of statistical reasoning.
  • 作者：Quenouille,Maurice Henry.
  • 出版社：London : Charles Griffin, c1958.
  • 出版年：1958
...

Introduction to statistical reasoning.
  • 作者：McCarthy,Philip J.
  • 出版社：New York : McGraw-Hill, 1957.
  • 出版年：1957
...

Mathematics and plausible reasoning.
  • 作者：Pólya,George,
  • 出版社：Princeton, N.J. : Princeton University Press, 1954.
  • 出版年：1954
...

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

Analogy of automated reasoning
  • 作者：Owen,Stephen
  • ISBN：0125317158
  • 出版社：London ; San Diego : Academic Press, c1990.
  • 出版年：1990
...

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