000    nam0
001 __ 0192033953
005 __ 20100303210214.0
010 __ ■a7-81012-285-1■dCNY1.80
092 __ ■a科技266-037
100 __ ■a19921119d1992    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a知识工程与机器发现■Azhi shi gong cheng yu ji qi fa xian■f孙怀民,胡 岗编著
210 __ ■a北京■c北京航空航天大学出版社■d1992.4
215 __ ■a210页■d19cm
330 __ ■a本书分两篇。第一篇讨论形式系统理论,介绍了一阶形式系统理论基础、哥德尔不完全性定理以及形式系统的判定问题;第二篇探讨了知识工程中的两个核心问题:机器推理与机器发现(机器学习)如何形式化。
606 0_ ■2CT■3S095074■a知识工程
690 __ ■aTP18■v三版
692 __ ■a73.82
701 _0 ■a孙怀民■Asun huai min■4编著
701 _0 ■a胡岗■Ahu gang■4编著
801 __ ■aCN■bNLC■c20100603