书目信息 |
| 题名： |
王者之路
|
|
| 作者： | 吴文俊 主编 | |
| 分册： | ||
| 出版信息： | 长沙 湖南科学技术出版社 1999 |
|
| 页数： | 195页 | |
| 开本： | 20cm | |
| 丛书名： | 攀登计划普及丛书 | |
| 单 册： | ||
| 中图分类： | O1-0 | |
| 科图分类： | ||
| 主题词： | 机器证明--ji qi zheng ming--研究 , 数学理论--shu xue li lun--研究 | |
| 电子资源： | ||
| ISBN： | 7-5357-2858-8 | |
| 000 | 01284nam 2200313 450 | |
| 001 | 012007709670 | |
| 005 | 20071223163606.62 | |
| 010 | @a7-5357-2858-8@dCNY15.00 | |
| 100 | @a20071223d1999 km y0chiy0120 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b430000 | |
| 105 | @aa a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a王者之路@Awang zhe zhi lu@e机器证明及其应用@f吴文俊主编@Fwu wen jun zhu bian |
| 210 | @a长沙@c湖南科学技术出版社@d1999 | |
| 215 | @a195页@c图@d20cm | |
| 225 | 2 | @a攀登计划普及丛书@Apan deng ji hua pu ji cong shu@d=The climbing program popular series@v5 |
| 312 | @a英文并列题名取自封面。 | |
| 320 | @a有书目 (第175-182页)。 | |
| 330 | @a本书是国家“八五”攀登计划项目“机器证明及其应用”支持的工作。从一个侧面展现了该项目所取得的成果。作为科普读物，为了通俗易懂的目的，我们尽量从一条主线来深入浅出地介绍定理机器证明及自动推理的历史、方法和不断涌现的新成果。 | |
| 410 | 0 | @12001 @a攀登计划普及丛书 |
| 510 | 1 | @aTheorem proving by machine and its application@zeng |
| 517 | 1 | @a机器证明及其应用@Aji qi zheng ming ji qi ying yong |
| 606 | 0 | @a机器证明@Aji qi zheng ming@x研究 |
| 606 | 0 | @a数学理论@Ashu xue li lun@x研究 |
| 690 | @aO1-0@v4 | |
| 701 | 0 | @a吴文俊@Awu wen jun@4主编 |
| 801 | 0 | @aCN@bRULIN@c20071223 |
| 905 | @aCN@dO1-0@e25 @f1 | |
| 王者之路：机器证明及其应用/吴文俊主编.-长沙：湖南科学技术出版社，1999 |
| 195页：图；20cm.-(攀登计划普及丛书=The climbing program popular series；5) |
| ISBN 7-5357-2858-8：CNY15.00 |
| 本书是国家“八五”攀登计划项目“机器证明及其应用”支持的工作。从一个侧面展现了该项目所取得的成果。作为科普读物，为了通俗易懂的目的，我们尽量从一条主线来深入浅出地介绍定理机器证明及自动推理的历史、方法和不断涌现的新成果。 |
| ● |
| 相关链接 |
正题名：王者之路
索取号：O1-0/25
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 0978279 | 209782797 | 理科库/3110480104/ [索取号:O1-0/25] | 在馆 | |
| 2 | 250412 | 202504129 | 样本书库/4110030302/ [索取号:O1-0/25] | 在馆 | |
| 3 | 250413 | 202504138 | 理科库/3110480104/ [索取号:O1-0/25] | 在馆 | |
| 4 | 250414 | 202504147 | 理科库/3110480104/ [索取号:O1-0/25] | 在馆 |