聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 受限的proflog语言及其表推演过程语义
出处:第七届中国人工智能联合学术会议
摘要:Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,... 显示全部
关键词: 逻辑程序设计 证明论 表推演 程序语言 过程语义
找到1条结果
`