电脑体验，效果更佳

形式化语言图谱-计算机领域：

研究人员

方南晖 陈怀义 马永进 苏桂平 陈金水 齐学智 金炳尧 李新晖

相关术语

人工智能 自然语言 矢列演绎系统 命题逻辑 移动Agent 软件测试 语言解释系统 形式化方法

标签云