半符号逻辑

本书主要介绍半符号化推理演绎体系的基本理论及其应用。

2004.