Interactive Theorem Proving Preface of the Special Issue

被引：2
|
作者：
Klein, Gerwin [1 ,2 ]
Gamboa, Ruben [3 ]
机构：
[1] NICTA, Sydney, NSW, Australia
[2] Univ New S Wales, Sydney, NSW, Australia
[3] Univ Wyoming, Laramie, WY 82071 USA
来源：
JOURNAL OF AUTOMATED REASONING | 2016年 / 56卷 / 03期
关键词：
Formal verification; Interactive theorem proving; Formal logic;
D O I：
10.1007/s10817-016-9363-7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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
页数：3
相关论文
共 50 条
12345