电脑体验，效果更佳

王俐莉图谱-计算机领域：

相关人员

王元元 张兴元

研究领域

形式化验证 命题演算形式系统 完备性定理 IsabelleHOLIsar

所属机构

解放军理工大学指挥自动化学院

标签云