证明开发环境相关硕士博士期刊学术论文 - 搜论网

证明开发环境相关论文

证明开发环境中的元语言：设计与实现

...

会议

证明开发环境元语言

证明开发环境中的元语言设计

本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其......

期刊

证明开发环境类型理论元语言程序设计 Proof development environment type theory theorem proving

看过本文同时还关注