Tutorial on interactive theorem proving using type theory

被引：0
|
作者：
Howe, DJ [1 ]
机构：
[1] Bell Labs, Murray Hill, NJ 07974 USA
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 1999年 / 1683卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：578 / 578
页数：1
相关论文
共 50 条
  • [41] Using animation in diagrammatic theorem proving
    Winterstein, D
    Bundy, A
    Gurr, C
    Jamnik, M
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2002, 2317 : 46 - 60
  • [42] Lessons for Interactive Theorem Proving Researchers from a Survey of Coq UsersLessons for Interactive Theorem Proving Researchers from a...A. de Almeida Borges et al.
    Ana de Almeida Borges
    Annalí Casanueva Artís
    Jean-Rémy Falleri
    Emilio Jesús Gallego Arias
    Érik Martin-Dorel
    Karl Palmskog
    Alexander Serebrenik
    Théo Zimmermann
    Journal of Automated Reasoning, 2025, 69 (1)
  • [43] Interactive tutorial for introduction to theory and practice of measurements
    Camero, R.
    Zapata-Torres, M.
    Calzadilla, O.
    Angeles, F.
    REVISTA CUBANA DE FISICA, 2007, 24 (01): : 11 - 14
  • [44] MECHANICAL THEOREM-PROVING IN THE LOCAL THEORY OF SURFACES
    LI, ZM
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 25 - 46
  • [45] Mechanical theorem proving in differential geometryLocal theory of surfaces
    Hongbo Li
    Science in China Series A: Mathematics, 1997, 40 : 350 - 356
  • [46] Verification of B trees by integration of shape analysis and interactive theorem proving
    Ernst, Gidon
    Schellhorn, Gerhard
    Reif, Wolfgang
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 27 - 44
  • [47] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
    Avigad, Jeremy
    Mahboubi, Assia
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (05) : 793 - 794
  • [48] Automated theorem proving in first-order logic module: On the difference between type theory and set theory
    Dowek, G
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 1 - 22
  • [49] Preface: Selected Extended Papers from Interactive Theorem Proving 2018
    Jeremy Avigad
    Assia Mahboubi
    Journal of Automated Reasoning, 2020, 64 : 793 - 794
  • [50] Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
    Borges, Ana de Almeida
    Artis, Annali Casanueva
    Falleri, Jean-Remy
    Gallego Arias, Emilio Jesus
    Martin-Dorel, Erik
    Palmskog, Karl
    Serebrenik, Alexander
    Zimmermann, Theo
    JOURNAL OF AUTOMATED REASONING, 2025, 69 (01)
12345