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

Rippling : meta-level guidance for mathematical reasoning
出版社：Cambridge, UK ; New York : Cambridge University Press, 2005.
ISBN：052183449X
出版年：2005
作者：Bundy,Alan.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Meta-level control for deductive database systems
  • 作者：Schmidt,Helmut,
  • ISBN：0387537546
  • 出版社：Berlin ; New York : Springer-Verlag, 1991.
  • 出版年：1991
...

Meta-level inference : representing and learning control information in artificial intelligence
  • 作者：Silver,Bernard,
  • ISBN：0444879005
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and
  • 出版年：1986
...

The computer modelling of mathematical reasoning
  • 作者：Bundy,Alan.
  • ISBN：0121412504
  • 出版社：London ; New York : Academic Press, 1983.
  • 出版年：1983
...

The tools of mathematical reasoning
  • 作者：Lakins,Tamara J.,
  • ISBN：9781470428990
  • 出版年：2016
...

Domain-level reasoning for spoken dialogue systems
  • 作者：Buhler,Dirk.
  • ISBN：9781441997272
  • 出版社：New York : Springer, c2011.
  • 出版年：2011
...

Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical fou
  • 作者：Gómez Ramírez,Danny A. J.,
  • ISBN：9783030502720
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020