电脑体验，效果更佳

公理化图谱-计算机领域：

研究人员

钱军 周桓 赵明清 黄涛 傅育熙 杨强 钟发荣 倪彬

相关术语

自动化 互模拟 进程代数 特性推理 知识粒度 机器翻译 χ-演算 Trace演算

标签云