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

书目信息

题名：	几何定理计算机证明查询光盘信息中...
作者：	孙熙椿编著
分册：
出版信息：	北京科学出版社 2007	正在获取封面...
页数：	207页
开本：	24cm
丛书名：
单册：
中图分类：	O18-39
科图分类：
主题词：	计算机应用--Ji Suan Ji Ying Yong--几何学--定理证明 , 计算机应用--Ji Suan Ji Ying Yong--几何学--机器证明
电子资源：
ISBN：	978-7-03-015505-4

000	00866nam0 2200253 450
001	012007000001
010		@a978-7-03-015505-4@dCNY29.00
100		@a20070709d2007 em y0chiy0121 ea
101	0	@achi
102		@aCN@b110000
105		@aa a 000yy
106		@ar
200	1	@a几何定理计算机证明@AJi He Ding Li Ji Suan Ji Zheng Ming@f孙熙椿编著
210		@a北京@c科学出版社@d2007
215		@a207页@c图@d24cm
300		@a国家科学技术学术著作出版基金资助出版
320		@a有书目 (第206-207页)
330		@a本书主要讲述几何定理机器证明的发展概况、污文俊机械化方法、张景中消点算法、杨路降维算法等。
606	0	@a计算机应用@AJi Suan Ji Ying Yong@x几何学@x定理证明
606	0	@a计算机应用@AJi Suan Ji Ying Yong@x几何学@x机器证明
690		@aO18-39@v4
701	0	@a孙熙椿@ASun Xi Chun@4编著
801		@aCN@bNJHFBOOK@c20071201
905		@dO18-39@e2@f10

几何定理计算机证明/孙熙椿编著.-北京：科学出版社，2007

207页：图；24cm

国家科学技术学术著作出版基金资助出版

ISBN 978-7-03-015505-4：CNY29.00

本书主要讲述几何定理机器证明的发展概况、污文俊机械化方法、张景中消点算法、杨路降维算法等。

●

相关链接

正题名：几何定理计算机证明索取号：O18-39/2 预约/预借

序号	登录号	条形码	馆藏地/架位号	状态	备注
1	1273696	212736967	样本书库/4110080203/ [索取号:O18-39/2]	在馆
2	1273697	212736976	理科库/ [索取号:O18-39/2]	在馆
3	1273698	212736985	理科库/ [索取号:O18-39/2]	在馆
4	1273699	212736994	理科库/ [索取号:O18-39/2]	在馆
5	1273700	212737001	理科库/ [索取号:O18-39/2]	在馆
6	1273701	212737010	理科库/ [索取号:O18-39/2]	在馆
7	1273702	212737029	理科库/ [索取号:O18-39/2]	在馆
8	1273703	212737038	理科库/3110531402/ [索取号:O18-39/2]	在馆
9	1273704	212737047	理科库/3110531402/ [索取号:O18-39/2]	在馆
10	1273705	212737056	理科库/3110531402/ [索取号:O18-39/2]	在馆

商丘师范学院图书馆欢迎您!

大连网信软件有限公司© 版权所有