电脑体验，效果更佳

程序段图谱-自然科学领域：

研究人员

孙维廉 林延平 田树理 倪永仁

相关术语

模拟器 存贮器 COMMAND口今命令 程序模块 微处理机 口令 推论规则 指令系统 推理规则 程序正确性证明 命令 DOS内部命令 设计方法 合成规则 谓词逻辑

标签云