高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
PROLOG的说明性语义和过程性语义之间的循环论证
作者：
收录：
摘要：
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
来源 ：
北京工业大学学报
年份： 1990
期： 04
页码： 87-90
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 2
归属院系：
信息学部 计算机学院
全文获取
外部链接：
