电脑体验，效果更佳

物理对象上的操作图谱-计算机领域：

研究人员

袁崇义 黄雨 赵文

相关术语

物理对象 公理语义 程序 物理对象上的操作表达式 操作公理 命令式程序 语义公理 赋值

标签云