电脑体验，效果更佳

命题演算形式系统图谱-计算机领域：

研究人员

王俐莉 张兴元 王元元

相关术语

形式化验证 IsabelleHOLIsar 完备性定理

标签云