Integrating A First-order Automatic prover In The HOL Environment
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 170-176
- https://doi.org/10.1109/hol.1991.596284
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- First Steps Towards Automating Hardware Proofs In HOLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Automating most parts of hardware proofs in HOLPublished by Springer Nature ,1992
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- HARP: A tableau-based theorem proverJournal of Automated Reasoning, 1988
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- Depth-first iterative-deepeningArtificial Intelligence, 1985