电脑体验，效果更佳

范全润图谱-自然科学领域：

相关人员

杨泽民

研究领域

硬件 模型检验 定理证明 形式化验证 等价性检验

所属机构

楚雄师范学院计算机科学系 山西大同 云南楚雄 大同大学数学与计算机科学学院

标签云