电脑体验，效果更佳

Tableaux算法图谱-计算机领域：

研究人员

汤庸 吴杰文 李瑞轩 卢正鼎 文坤梅 周生明 王驹 蒋运承

相关术语

描述逻辑 推理系统 语义Web SHOIQ（D）

标签云