证明助手相关硕士博士期刊学术论文 - 信丰网

证明助手相关论文

关于计算机专业开设逻辑与验证类课程教学的思考

首先介绍计算机科学中的逻辑与验证技术,接着概述国内大学哲学、数学和计算机专业开设相关课程的现状,然后分析慕尼黑工业大学计算......

期刊

逻辑验证证明助手函数式编程

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,......

期刊

定理证明证明助手消解自然演绎类型化的λ演算编程逻辑求精

看过本文同时还关注