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

Towards mechanized mathematical assistants : 14th symposium Calculemus 2007 6th international conf
出版社：Berlin ; New York : Springer, c2007.
ISBN：9783540730835
出版年：2007
作者：Calculemus 2007
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

International Reinforced Plastics Conference : 6th conf.
  • 出版社：Manton 1968
  • 出版年：1968
...

14th International Symposium on Industrial Crystallization
  • 作者：International Symposium on Industrial Crystallization
  • ISBN：0852954247
  • 出版社：Rugby, UK : Institution of Chemical Engineers, c1999.
  • 出版年：1999
...

2007 Joint meeting of the 6th International Symposium on Noninvasive Functional Source Imaging of th
  • 作者：International Symposium on Noninvasive Functional Source Imaging of the Brain and Heart
  • ISBN：1424409489
  • 出版社：Piscataway, N.J. : IEEE, c2007.
  • 出版年：2007
...

14th Symposium (International) on Combustion
  • 作者：Symposium (International) Combustion
  • 出版社：Pittsburgh : Pa., Combustion Institute, 1973
  • 出版年：1973
...

String processing and information retrieval : 14th international symposium, SPIRE 2007, Santiago, Ch
  • 作者：SPIRE 2007
  • ISBN：9783540755296
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

14th International Symposium on Temporal Representation and Reasoning : June 28-30, 2007, Alicante,
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：0769528368
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c2007.
  • 出版年：2007