咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Quantifier Elimination and Cyl... 收藏
分享
Quantifier Elimination and Cylindrical Algebraic Decompositi...

Quantifier Elimination and Cylindrical Algebraic Decomposition

丛 书 名：Texts and Monographs in Symbolic Computation

版本说明：1

作     者：Dr. Bob F. Caviness Dr. Jeremy R. Johnson (auth.) Dr. Bob F. Caviness Dr. Jeremy R. Johnson (eds.) 

I S B N：(纸本) 9783211827949;9783709194591 

出 版 社：Springer-Verlag Wien 

出 版 年：1998年

馆 藏 号：201109648...

本地馆藏 | 借阅须知 | 我要预约
实体馆藏
馆藏地名称 定位 索书号 条码号 文献状态
外文图书借阅室 查看 O15-37/Q1/X 020001882 可借

读者评论 与其他读者分享你的观点

学校读者
用户名:未登录
我的评分