Three Tactic Theorem Proving
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 203-220
- https://doi.org/10.1007/3-540-48256-3_14
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- ACL2: an industrial strength version of NqthmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Three Tactic Theorem ProvingPublished by Springer Nature ,1999
- A mizar mode for HOLPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- Edinburgh LCFLecture Notes in Computer Science, 1979