Interactive Proof Critics

Michael Jackson, Andrew Ireland, G. Reid

Research output: Contribution to journal › Special issue › peer-review

Keywords / Materials (for Non-textual outputs)

@article{ec150ac400a949bcbb830bcef23e6412,

title = "Interactive Proof Critics",

keywords = "Theorem Proving, User Interfaces, Proof Planning, Proof Patching, Inductive Proof",

author = "Michael Jackson and Andrew Ireland and G. Reid",

year = "1999",

month = sep,

day = "1",

doi = "10.1007/s001650050052",

language = "English",

volume = "11",

pages = "302--325",

journal = "Formal Aspects of Computing",

publisher = "Association for Computing Machinery",

number = "3",

}

TY - JOUR

T1 - Interactive Proof Critics

AU - Jackson, Michael

AU - Ireland, Andrew

AU - Reid, G.

PY - 1999/9/1

Y1 - 1999/9/1

KW - Theorem Proving

KW - User Interfaces

KW - Proof Planning

KW - Proof Patching

KW - Inductive Proof

U2 - 10.1007/s001650050052

DO - 10.1007/s001650050052

M3 - Special issue

VL - 11

SP - 302

EP - 325

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -