中介谓词逻辑一种改进的语义解释及λ-归结

张胜礼1，潘正华2

Improved form of semantic model and λ-resolution for medium predicate logic system

ZHANG Shengli1，PAN Zhenghua2

计算机工程与应用 . 2011, (22): 41 -43 .