Introduction to Milestones in Interactive Theorem Proving

被引：2

作者：

Avigad, Jeremy ^{[1
]}

Blanchette, Jasmin Christian ^{[2
]}

Klein, Gerwin ^{[3
]}

Paulson, Lawrence ^{[4
]}

Popescu, Andrei ^{[5
]}

Snelting, Gregor ^{[6
]}

机构：

[1] Carnegie Mellon Univ, Dept Philosophy, Pittsburgh, PA 15213 USA

[2] Vrije Univ Amsterdam, Theoret Comp Sci, Amsterdam, North Holland, Netherlands

[3] CSIRO, Data61, Trustworthy Syst Res Grp, Sydney, NSW, Australia

[4] Univ Cambridge, Comp Lab, Cambridge, England

[5] Middlesex Univ London, Sch Sci & Technol, London, England

[6] Karlsruhe Inst Technol, Dept Comp Sci, Karlsruhe, Germany

来源：

关键词：

UNIFICATION; VERIFICATION; MODEL;

D O I：

10.1007/s10817-018-9465-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 8

页数：8