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

9th International Conference on Automated Deduction : Argonne Illinois USA May 23-26 1988 : proc
出版社：Berlin ; New York : Springer-Verlag, 1988.
ISBN：038719343X
出版年：1988
作者：Lusk,E.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sw
  • 作者：International Conference on Automated Deduction
  • ISBN：9783319630458
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : procee
  • 作者：International Conference on Automated Deduction
  • ISBN：0387960228
  • 出版社：Berlin ; New York : Springer-Verlag, 1984.
  • 出版年：1984
...

Numerical analysis : proceedings of the 9th biennial conference,heldat Dundee, Scotland, June 23-26,
  • 作者：Conference on Numerical Analysis
  • ISBN：0387111999
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

Numerical analysis: Proceedings of the 9th Biennial Conference Held at Dundee, Scotland, June 23-26,
  • 作者：G.A.Watson
  • ISBN：3540111999
  • 出版社：0000.00
...

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-
  • 作者：ADG 2012
  • ISBN：9783642406713
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

19th International Conference on Photoelectronics and Night Vision Devices : 23-26 May 2006, Moscow,
  • 作者：International Conference on Photoelectronics and Night Vision Devices
  • ISBN：9780819467829
  • 出版社：Bellingham, Wash. : SPIE, c2007.
  • 出版年：2007