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

Quantifier Elimination and Cylindrical Algebraic Decomposition
EISBN：9783709194591
PISBN：9783211827949
出版社：Springer Vienna
出版类型：Proceedings
出版时间：1998
作者：Bob F. Caviness,Jeremy R. Johnson
主题词：Symbolic and Algebraic Manipulation,Math Applications in Computer Science,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Algebraic Geometry,Algorithms
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts and Monographs in Symbolic Computation
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Quantifier Elimination and Cylindrical Algebraic Decomposition
  • 作者：Bob F. Caviness,Jeremy R. Johnson
  • EISBN：9783709194591
  • 出版社：Springer Vienna
  • 出版时间：1998
...

Categorical Decomposition Techniques in Algebraic Topology
  • 作者：Gregory Arone,John Hubbuck,Ran Levi,Michael Weiss
  • EISBN：9783034878630
  • 出版社：Birkhäuser Basel
  • 出版时间：2004
...

Categorical Decomposition Techniques in Algebraic Topology
  • 作者：Gregory Arone,John Hubbuck,Ran Levi,Michael Weiss
  • EISBN：9783034878630
  • 出版社：Birkhäuser Basel
  • 出版时间：2004
...

Cylindrical Gears
  • 作者：Linke,Heinz
  • PISBN：9781569904893
  • 出版时间：2016
...

Elimination Methods
  • 作者：Dongming Wang
  • EISBN：9783709162026
  • 出版社：Springer Vienna
  • 出版时间：2001
...

Stochastic Decomposition
  • 作者：Julia L. Higle,S. Sen
  • EISBN：9781461541158
  • 出版社：Springer US
  • 出版时间：1996