电脑体验，效果更佳

刘叙华图谱-自然科学领域：

相关人员

欧阳丹彤 唐日昆 孙吉贵 欧阳继红 杨凤杰 邓安生 陈斌

研究领域

解释 归结 广义归结 λ—逻辑有效 λ-Horn子句 Horn集 完备性 等量替换 不一致集 删除策略 单元归结 λ-归结 广义调解 λ-约化集 锁归结 调解 公式 RUE-NRF归结 调解法 提升引理 λ-□ 有序子句的有序因子 NC调解 输入归结 线性序归结 λ-单元锁归结

所属机构

吉林大学计算机科学系

标签云