电脑体验，效果更佳

机械化推理图谱-计算机领域：

研究人员

曹晓东 李伟

相关术语

状态空间 算法研究 叙述性知识 知识表示 求解复杂度 过程控制

标签云