电脑体验，效果更佳

极小模型图谱-计算机领域：

研究人员

周熠 周生炳 施鸿宝 陈小平 王献昌

相关术语

限定 时序性 情态逻辑 部分蕴涵 一般结构 人工智能 计算复杂性 完备性 真值维护 非单调推理 信念维护 可满足性 框架问题 非递归闭限定

标签云