| 字段 | 字段内容 |
|---|---|
| 001 | 0100031142 |
| 005 | 20050907190706.0 |
| 010 | $a: 7-03-012617-3$b: 精装$d: CNY20.00 |
| 100 | $a: 20040617d2004 em y0chiy0110 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 110000 |
| 105 | $a: y z 000yy |
| 106 | $a: r |
| 200 | $a: 近世计算理论导引$9: jin shi ji suan li lun dao yin$e: NP难度问题的背景、前景及其求解算法研究$f: 黄文奇，许如初著 |
| 210 | $a: 北京$c: 科学出版社$d: 2004.6 |
| 215 | $a: 87页$d: 24cm |
| 225 | $a: 数学机械化丛书$v: 5 |
| 300 | $a: 《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助 中国科学院科学出版基金资助出版 |
| 330 | $a: 本书为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效求解途径，并在透彻讲解图灵机的基础上阐明为何有计算机不可解、难解的问题，且为NP问题指明了得出高性能求解算法的现实途径等。 |
| 410 | $1: 2001 $a: 数学机械化丛书$v: 5 |
| 461 | $1: 2001 $a: 数学机械化丛书$v: 5 |
| 606 | $a: 电子计算机$x: 计算复杂性$x: 理论 |
| 690 | $a: TP301.5$v: 4 |
| 701 | $a: 许如初$9: xu ru chu$4: 著 |
| 801 | $a: CN$b: LNHC$c: 20050508 |
| 905 | $a: LITL$b: 688750-54$d: TP301.5$r: CNY20.00$e: H895 |
| 999 | $a: 09$b: 5$e: 2005332 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139 www.beian.miit.gov.cn
欢迎第46834605位用户访问本系统