电脑体验，效果更佳

存在量词图谱-计算机领域：

研究人员

周生明 张健 刘智斌 蒋运承 唐素勤 王驹

相关术语

形式规约 关系代数 传递关系 一阶谓词逻辑 描述树 描述图 关系演算 MSC

标签云