A nucleus of a theorem-prover described inAlgol -68.
Jacques CohenLaurent TrillingPeter WegnerPublished in: Int. J. Parallel Program. (1974)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- first order logic
- term rewriting
- inference rules
- computer algebra
- formal proof
- automated theorem proving
- automated deduction
- boolean algebra
- higher order logic
- proof search
- formal semantics
- natural deduction
- white blood cells
- machine learning
- cell nucleus
- small number
- evolutionary algorithm
- expert systems