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

Automated reasoning and mathematics : essays in memory of William W. McCune
出版社：Berlin ; New York : Springer, c2013.
ISBN：9783642366741
出版年：2013
作者：Bonacina,Maria Paola.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Adams,William W.
  • 出版年：1900
...

Automated reasoning : essays in honor of Woody Bledsoe
  • 作者：Boyer R.S.
  • ISBN：0792314093
  • 出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1991.
  • 出版年：1991
...

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

Frontiers of motivational psychology : essays in honor of John W. Atkinson
  • 作者：Brown,Donald R.
  • ISBN：3540964444
  • 出版社：Berlin ; New York : Springer-Verlag, c1986.
...

Essays on meteorology and climatology : in honour of Richmond W. Longley
  • 作者：Longley,Richmond Wilberforce.
  • 出版社：Edmonton : Dept. of Geography, University of Alberta, 1978.
  • 出版年：1978
...

Essays in Toxicology V.5/Hayes W. J.
  • 作者：Hayes W. J.
  • ISBN：0121076059;
  • 出版社：New York : Academic Press, 1974
  • 出版年：1974