电脑体验，效果更佳

薛锐图谱-自然科学领域：

相关人员

周盛梅 王慧中 冯登国 李卫东 黄大年 孟江涛 黄寄洪 李晓芳

研究领域

抽象状态机 形式归约 安全 EhrenfeuchtGame 悬浮培养 胚性愈伤 形式化方法 共振能级劈裂

所属机构

山西太原 中国水稻研究所 北京师范大学数学系 杭州师范学院生物系 浙江大学生命科学院 太原科技大学物理系 中国科学院软件所信息安全国家重点实验室 北京100080山西师范大学数学与计算机...

标签云