广西师范大学学报（自然科学版）2003，Vol.21Issue(1)：27-33,7.
受限的proflog语言及其表推演过程语义
CONSTRAINED PROFLOG LANGUAGE AND ITS PROCEDURAL SEMANTICS BASED ON TABLEAU
摘要
关键词
非单调性/逻辑程序设计/证明论/表推演/proflog分类
信息技术与安全科学引用本文复制引用
陈荣,孙吉贵,姜云飞..受限的proflog语言及其表推演过程语义[J].广西师范大学学报（自然科学版）,2003,21(1):27-33,7.基金项目
广东省自然科学基金资助项目(011162) （011162）
中山大学青年教师科研启动基金资助项目 （）
