首页|Interactive Theorem Proving Preface of the Special Issue

Interactive Theorem Proving Preface of the Special Issue

扫码查看
原文链接
  • NETL
  • NSTL
  • Springer Nature
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.

Formal verificationInteractive theorem provingFormal logic

Klein, Gerwin、Gamboa, Ruben

展开 >

NICTA, Sydney, NSW, Australia|Univ New S Wales, Sydney, NSW, Australia

Univ Wyoming, Laramie, WY 82071 USA

2016

10.1007/s10817-016-9363-7

Journal of automated reasoning

Journal of automated reasoning

ISSN：0168-7433
年,卷(期)：2016.56(3)
  • 2