Algebraic Proof Assistants in HOL.
Rix GroenboomChris HendriksIndra PolakJan TerlouwJan Tijmen UddingPublished in: MPC (1995)
Keyphrases
- theorem prover
- natural deduction
- higher order logic
- theorem proving
- computer algebra
- higher order
- automated theorem proving
- inference rules
- proof search
- linear logic
- first order logic
- formal methods
- image processing
- search algorithm
- expert systems
- intelligent agents
- genetic algorithm
- geometry theorem proving
- database
- reinforcement learning
- learning algorithm
- data mining
- neural network