电脑体验，效果更佳

IsabelleHOLIsar图谱-计算机领域：

研究人员

张兴元 王元元 王俐莉

相关术语

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

标签云