日韩精品免费一区二区夜夜嗨-中文字幕视频区一区二-99re国产这里只有精品-欧美激情成人一区二区三区-张开你的双腿让我进入-小明爱看男性大几巴操小嫩逼-亚洲欧美日韩有码在线观看-日韩免费视频中文在线观看-最新日韩精品视频免费在线观看

  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.
資源類型：圖書
細分類型：西文文獻
相關(guān)推薦

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

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