000    nam0
001 __ 0194017274
005 __ 20100303210214.0
010 __ ■a7-03-003927-0■dCNY16.90
100 __ ■a19940308d1994    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a基于归结方法的自动推理■Aji yu gui jie fang fa de zi dong tui li■f刘叙华著
210 __ ■a北京■c科学出版社■d1994.2
215 __ ■a499页■d20cm
300 __ ■a中国科学院出版基金资助出版
314 __ ■a刘叙华,吉林大学任教
330 __ ■a以归结方法为主线,介绍在经典逻辑、模糊逻辑、非单调逻辑和模态逻辑中的自动推理方法。
606 0_ ■a人工智能■x数理逻辑
606 0_ ■2CT■3S062136■a人工智能
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aTP18■v三版
692 __ ■a73.82
701 _0 ■a刘叙华■Aliu xu hua■f(1937~)■4著
801 __ ■aCN■bNLC■c20100603