吉林大学学报（理学版）2004，Vol.42Issue(2)：189-194,6.
一阶逻辑模型生成器的实现
Implementation of first order logic model generation
摘要
关键词
SAT/模型生成/命题推理/一阶逻辑推理分类
信息技术与安全科学引用本文复制引用
张一民,孙吉贵..一阶逻辑模型生成器的实现[J].吉林大学学报（理学版）,2004,42(2):189-194,6.基金项目
国家自然科学基金(批准号: 2000540)、教育部骨干教师基金和吉林省科委重大项目基金. （批准号: 2000540）
