良基语义

（计算机科学技术）
良基语义（well-founded semantics），计算机科学技术名词，范·戈尔德（Van Gelder）于1991年提出的定义如何通过推导规则集合导出结论的一种逻辑程序语义。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》