Interactive Theorem ProvingPreface of the Special Issue

被引：0
|
作者：
Gerwin Klein
Ruben Gamboa
机构：
[1] NICTA,
[2] University of New South Wales,undefined
[3] University of Wyoming,undefined
来源：
Journal of Automated Reasoning | 2016年 / 56卷
关键词：
Formal verification; Interactive theorem proving; Formal logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This special issue collects current efforts towards the construction of formal proofs with the use of interactive theorem provers, which combine formal proof-checking and proof-finding tools with human guidance.
引用
收藏
页码：201 / 203
页数：2
相关论文
共 50 条
12345