电脑体验，效果更佳

删除策略图谱-自然科学领域：

研究人员

王上飞 唐日昆 汤汇道 刘叙华 赵俊

相关术语

概率逻辑 支持树 标记逻辑程序 归结原理 常规逻辑 广义归结 SLD-博弈树 λ-归结

标签云