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

Automated deduction in geometry : 5th international workshop ADG 2004 Gainesville FL USA Septem
出版社：Berlin ; New York : Springer, 2006.
ISBN：354031332X
出版年：2006
作者：ADG 2004
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-1
  • 作者：ADG 2014
  • ISBN：9783319213613
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015
...

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

Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22 - 2
  • 作者：ADG 2010
  • ISBN：9783642250699
  • 出版社：Berlin ; New York : Springer, 2011.
  • 出版年：2011
...

Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31
  • 作者：ADG 2006
  • ISBN：354077355X
  • 出版社：Berlin ; New York : Springer, 2007.
  • 出版年：2007
...

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, S
  • 作者：ADG 2002
  • ISBN：3540209271
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Automated deduction in geometry : 7th international workshop, ADG 2008, Shanghai, China, September 2
  • 作者：ADG 2008
  • ISBN：9783642210457
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011