机读格式显示(MARC)

• 000 01124nam a2200289 450

• 001 0000195313

• 005 20130416101900.0

• 010 __ |a 7-302-00789-6 |d CNY6.40

• 100 __ |a 20070518d1990 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 问题求解理论及应用 |A Wen Ti Qiu Jie Li Lun Ji Ying Yong |f 张钹, 张铃著

• 210 __ |a 北京 |c 清华大学出版社 |d 1990.12

• 215 __ |a 476页 |d 20cm

• 225 2_ |a 人工智能及其应用丛书 |A Ren Gong Zhi Neng Ji Qi Ying Yong Cong Shu

• 330 __ |a 本书是“人工智能及其应用丛书”之一, 是人工智能的基础理论。本书是著者多年科研成果的总结, 它以数学为工具, 提出了人工智能中关于问题求解理论, 建立了一种称为商结构的形式化体系, 并运用这种理论和方法解决推理、规划和搜索等若干领域中的问题, 具有广泛的意义。

• 410 _0 |1 2001 |a 人工智能及其应用丛书

• 540 1_ |a 问题求解理论应用 |A Wen Ti Qiu Jie Li Lun Ying Yong

• 606 0_ |a 人工智能 |A Ren Gong Zhi Neng |x 应用 |x 研究

• 690 __ |a TP18 |v 4

• 701 _0 |a 张钹 |A Zhang Bo |4 著

• 701 _0 |a 张铃 |A Zhang Ling |4 著

• 801 _0 |a CN |b NLC |c 19920131

• 905 __ |a WXCSXY |d TP18/30

• 920 __ |a 232010 |z 1