Improved form of semantic model and λ-resolution for medium predicate logic system
ZHANG Shengli1,PAN Zhenghua2
1.Department of Computer Science,Xingyi Normal University for Nationalities,Xingyi,Guizhou 562400,China 2.School of Science,Jiangnan University,Wuxi,Jiangsu 214122,China
ZHANG Shengli1,PAN Zhenghua2. Improved form of semantic model and λ-resolution for medium predicate logic system[J]. Computer Engineering and Applications, 2011, 47(22): 41-43.