Foundations of a theorem prover for functional and mathematical uses.
Javier LeachSusana NievaPublished in: J. Appl. Non Class. Logics (1993)
Keyphrases
- theorem prover
- mathematical knowledge
- computer algebra
- computer algebra systems
- mathematical proofs
- theorem proving
- automated theorem proving
- automated reasoning
- inference rules
- first order logic
- term rewriting
- automated deduction
- formal proof
- higher order logic
- formal semantics
- natural deduction
- boolean algebra
- artificial intelligence
- proof search
- timed automata
- data mining
- learning algorithm
- genetic algorithm