Review of "Un Programme de Démonstration de Théorèms (A Theorem Proving Program) by Jaques Pitrat", 1970.
W. W. BledsoePublished in: SIGART Newsl. (1971)
Keyphrases
- theorem proving
- automatic programming
- first order logic
- automated deduction
- decision procedures
- automated reasoning
- theorem prover
- inference rules
- proof planning
- logical inference
- parallel search
- proof procedure
- term rewriting
- automated theorem proving
- united kingdom
- consequence finding
- predicate calculus
- combinatorial search
- distributed search
- management science
- temporal logic
- united states
- data mining
- mathematical knowledge
- artificial intelligence