电脑体验，效果更佳

邵志清图谱-自然科学领域：

相关人员

丁志义 吴庆涛 宋国新 虞慧群

研究领域

不动点 CIMS MRPⅡ系统 连续函数 完全偏序 指称语义 形式化

所属机构

宁夏银川 华东理工大学计算机系 宁夏大学数学计算机学院 华东理工大学计算机科学与工程系

标签云