机读格式显示(MARC)
- 000 00911nam 22200289 4450
- 010 __ |a 7-03-003927-0 |d $16.90
- 100 __ |a 19960708d1994 em y0chiy0121 ea
- 200 10 |a 基于归结方法的自动推理 |f 刘叙华著 |F LIU XU HUA ZHU |A JI YU GUI JIE FANG FA DE ZI DONG TUI LI
- 210 __ |a 北京 |b 北京 |c 科学出版社 |d 1994.2
- 330 __ |a 以归结方法为主线,介绍在经典逻辑、模糊逻辑、非单调逻辑和模态逻辑中的自动推理方法。
- 540 1_ |a 归结 推理 |A GUI JIE TUI LI
- 801 _0 |a CN |b Library |c 19960705 |U UnKnown
- 801 _2 |a CN |b Library |c 20010710 |U MARC
- 905 __ |a JHUL |d TP18/12