登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Selected Papers on Automath
PISBN：9780444898227
出版时间：Pre 2007
作者：R.P. Nederpelt,J.H. Geuvers,R.C. de Vrijer
主题词：Mathematics pre-2007
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Studies in Logic and the Foundations of Mathematics
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Selected Papers
  • 作者：Calvin C. Elgot,Stephen L. Bloom
  • EISBN：9781461381778
  • 出版社：Springer New York
  • 出版时间：1982
...

Selected Papers
  • 作者：I. E. Tamm
  • EISBN：9783642746260
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1991
...

Selected Papers
  • 作者：Calvin C. Elgot
  • EISBN：9781461381778
  • 出版社：Springer New York
  • 出版时间：1982
...

Selected Papers
  • 作者：Igor E. Tamm,Boris M. Bolotovskii,Victor Ya. Frenkel
  • EISBN：9783642746260
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1991

SELECTED PAPERS ON MOLECULAR GENETICS
  • 作者：J.HERBERT TAYLOR
  • 出版社：ACADEMIC PRESS
  • 出版时间：1965年
...

Selected Papers from PRES’19
  • EISBN：9783039431205
  • 出版社：MDPI
  • 出版时间：2020-10-20