电脑体验，效果更佳

一阶逻辑图谱-计算机领域：

研究人员

孙成敏 杨波 潘久辉 唐志刚 许晟 钟宏音 李琳娜 姜云飞

相关术语

本体 语义理论 有限信息集 合取式 定理证明 Markov网 演绎数据库 布尔环

标签云