000    oam2
001 __ 0192002177
005 __ 20100303210214.0
010 __ ■a7-302-00789-6■dCNY6.40
100 __ ■a19920131d1990    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a问题求解理论及应用■Awen ti qiu jie li lun ji ying yong■f张 钹,张 铃著
210 __ ■a北京■c清华大学出版社■d1990.12
215 __ ■a476页■d20cm
225 2_ ■a人工智能及其应用丛书
330 __ ■a本书是“人工智能及其应用丛书”之一,是人工智能的基础理论。本书是著者多年科研成果的总结,它以数学为工具,提出了人工智能中关于问题求解理论,建立了一种称为商结构的形式化体系,并运用这种理论和方法解决推理、规划和搜索等若干领域中的问题,具有广泛的意义。
410 _0 ■12001■a人工智能及其应用丛书
606 0_ ■a人工智能■x应用■x研究
606 0_ ■2CT■3S062136■a人工智能
690 __ ■aTP18■v三版
692 __ ■a73.82
701 _0 ■a张钹■Azhang bo■f(1935~)■4著
701 _0 ■a张铃■Azhang ling■4著
801 __ ■aCN■bNLC■c20100603