图书内容简介

没有图书简介

图书目录

目 录

一、引言
二、解释推导
三、还原推导
四、演绎与类比推导
五、辩证推导
穴、衡平推导
七、结语
附录 自然推理系统
案例索引
关键词索引
主要参考文献
后记