妙思文献管理集成系统WWW检索

题名：	非线性代数方程组与定理机器证明查询光盘信息中...
作者：	杨路著
分册：
出版信息：	上海上海科技教育出版社 1996.09	正在获取封面...
页数：	203页
开本：	20cm
丛书名：	非线性科学丛书
单册：
中图分类：	O241.7 ， TP18 ， O175.14
科图分类：	51.812
主题词：	非线性方程:代数方程-数值计算 , 代数方程:非线性方程-数值计算 , 数值计算-非线性方程:代数方程 , 定理证明 , 数学分析
电子资源：
ISBN：	7-5428-1379-X

000	01126nam2 2200349 45
001	0198008727
005	20020917082529.4
010		@a7-5428-1379-X@b精装@d￥14
100		@a19980212d1996 emky0chiy0121 ea
101	0	@achi@deng
102		@aCN@b310000
105		@ay z 000yy
106		@ar
200	10	@a非线性代数方程组与定理机器证明@Afei xian xing dai shu fang cheng zu yu ding li ji qizheng ming@f杨路等著
210		@a上海@c上海科技教育出版社@d1996.09
215		@a203页@d20cm
225	2	@a非线性科学丛书@dAdvanced series in nonlinear science@zeng
300		@a上海市新闻出版局学术著作出版基金资助出版
410	0	@120010@a非线性科学丛书
510	1	@aNonlinear algebraic equation system and automated theorem proving@zeng
606		@a非线性方程:代数方程-数值计算
606		@a代数方程:非线性方程-数值计算
606		@a数值计算-非线性方程:代数方程
606		@a定理证明
606	0	@a数学分析
690		@aO241.7@v3
690		@aTP18@v3
690		@aO175.14
692		@a51.812@v2
701	0	@a杨路@Ayang lu@4著
801	0	@aCN@bNLC@c19980225
905		@f3@b247721-723@dO175.14@e1

非线性代数方程组与定理机器证明/杨路等著.-上海：上海科技教育出版社，1996.09

203页；20cm.-(非线性科学丛书=Advanced series in nonlinear science)

上海市新闻出版局学术著作出版基金资助出版

ISBN 7-5428-1379-X(精装)：￥14

●