电脑体验，效果更佳

Horn子句图谱-计算机领域：

研究人员

丁志军 童頫 肖建 黄毅 肖岚 郑力 沈一栋 王成

相关术语

Tableau算法 描述逻辑 Web服务 操作语义学 Petri网 PROLOG 逻辑推论 模型理论语义

标签云