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

000	00897nam2 2200301 45
001	012003000000
010		@a7-03-010764-0@b精装@dCNY58.00
100		@a20030527d2003 ekmy0chiy0121 ea
101	0	@achi
102		@aCN@b110000
105		@aa z 000yy
106		@ar
200	1	@a数学机械化@Ashu xue ji xie hua@f吴文俊著
210		@a北京@c科学出版社@d2003.03
215		@a380页@c图@d26cm
225	2	@a数学机械化丛书@f吴文俊主编
300		@a《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助。
320		@a本书末含参考文献
410	0	@12001 @a数学机械化丛书
606	0	@a数学理论@x计算机辅助计算
606	0	@a数学理论
606	0	@a计算机辅助计算
606	0	@a数学
690		@aO1-0@v4
690		@aO1-39
701	0	@a吴文俊@Awu wen jun@4著
801	0	@aCN@bQSSKy1@c20030527
905		@f5@b360583-587@dO1-39@e1

数学机械化/吴文俊著.-北京：科学出版社，2003.03

380页：图；26cm.-(数学机械化丛书/吴文俊主编)

《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助。

ISBN 7-03-010764-0(精装)：CNY58.00

●

相关链接

正题名：数学机械化索取号：O1-39/1 预约/预借