PM: A Proof Manager for HOL and Other Provers.
George FinkMyla ArcherLie YangPublished in: TPHOLs (1991)
Keyphrases
- theorem prover
- theorem proving
- natural deduction
- automated theorem proving
- proof search
- first order logic
- higher order logic
- inference rules
- proof planning
- mathematical proofs
- databases
- management system
- geometry theorem proving
- proof procedure
- higher order
- search algorithm
- case study
- image processing
- information retrieval