Parallel Theorem Provers and Their Applications.
Ryuzo HasegawaMasayuki FujitaPublished in: FGCS (1992)
Keyphrases
- theorem prover
- automated theorem proving
- theorem proving
- automated reasoning
- computer algebra
- first order logic
- inference rules
- higher order logic
- parallel processing
- term rewriting
- formal semantics
- artificial intelligence
- parallel implementation
- automated deduction
- natural deduction
- computer algebra systems
- proof search
- parallel computing
- programming language
- expert systems