阿格内塔·埃里克森;安娜·莱娜·约翰逊 基于计算机的逻辑程序综合。 （英语） Zbl 0496.68064号 编程，程序。国际交响乐团。，第五学院，都灵，1982年，法律。注释计算。科学。137, 105-115 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 MSC公司： 68T99型 人工智能 68N99型 软件理论 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：逻辑程序设计;根据完整的一阶谓词逻辑给出的规范合成Horn子句程序;配分关系;数据结构;自然扣除;交互式派生编辑器;复合推理规则;用户编程扣除;程序综合 引文：兹比尔0477.00025 PDF格式BibTeX公司 XML格式