曲阜师范大学学报（自然科学版）2000，Vol.26Issue(3)：49-50,2.
一种基于一阶谓词逻辑的模型表示方法
A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC
张立群 1鹿旭东 1蒋志方1
作者信息
- 1. 山东工业大学计算机系软件教研室,250061,山东省济南市
- 折叠
摘要
关键词
决策支持系统/模型库/一阶谓词逻辑分类
信息技术与安全科学引用本文复制引用
张立群,鹿旭东,蒋志方..一种基于一阶谓词逻辑的模型表示方法[J].曲阜师范大学学报（自然科学版）,2000,26(3):49-50,2.
