Twenty years of theorem proving for HOLs past, present and future

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5170 LNCS, Issue , 2008, Pages 1-5

  Gordon, Mike ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

AUTOMATIC METHOD; FIRST ORDER; HIGHER ORDER LOGIC; HIGHER-ORDER; ISABELLE/HOL; PROOF ASSISTANT; PROOF METHODS; THEOREM PROVERS;

THEOREM PROVING;

EID: 57049171467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71067-7_1     Document Type: Conference Paper

References (0)