电脑体验，效果更佳

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

相关人员

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

研究领域

解释 归结 广义归结 λ—逻辑有效 λ-Horn子句 Horn集 完备性 等量替换

所属机构

吉林大学计算机科学系

标签云