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

Automated reasoning : essays in honor of Woody Bledsoe
出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1991.
ISBN：0792314093
出版年：1991
作者：Boyer R.S.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated reasoning and its applications : essays in honor of Larry Wos
  • 作者：Veroff,Robert
  • ISBN：0262220555
  • 出版社：Cambridge, Mass. : MIT Press, 1997.
  • 出版年：1997
...

Automated reasoning and mathematics : essays in memory of William W. McCune
  • 作者：Bonacina,Maria Paola.
  • ISBN：9783642366741
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60t
  • 作者：Siekmann,Jörg H.
  • ISBN：3540250514
  • 出版社：Berlin ; New York : Springer, 2005.
  • 出版年：2005
...

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

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

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