书目信息

书名： 几何定理计算机证明 
作者： 孙熙椿 编著
出版信息： 北京   科学出版社  2007
开本页数： 24cm  207页
丛书名：
单 册：
中图分类： O18-39
科图分类：
主题词： 几何学--ji he xue--定理证明--计算机应用
电子资源：
ISBN： 978-7-03-015505-4
000 00801nam0 2200241 450
001 0100000313
010    @a978-7-03-015505-4@dCNY29.00
100    @a20071208d2007 ekmy0chiy50 ea
101 0  @achi
102    @aCN@b110000
105    @aak 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    @a几何学@Aji he xue@x定理证明@x计算机应用
690    @aO18-39@v4
701  0 @a孙熙椿@Asun xi chun@4编著
801  0 @aCN@c20071206
905    @b20667110-12@dO18-39@eS960@fO18-39/S960
    
    几何定理计算机证明/孙熙椿编著.-北京：科学出版社，2007
    207页：图；24cm
    国家科学技术学术著作出版基金资助出版
    
    ISBN 978-7-03-015505-4：CNY29.00
    本书主要讲述几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法、杨路降维算法等。
●
相关链接
在五车中查询图书 在当当中查询图书 在豆瓣中查询图书


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

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 667110   206671109   自科库401/401自科库 45排7列5层/ [索取号:O18-39/S960] 在馆    
2 667111   206671118   自科库401/401自科库 45排7列5层/ [索取号:O18-39/S960] 在馆    
3 667112   206671127   自科库401/401自科库 45排7列5层/ [索取号:O18-39/S960] 在馆