Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers.
Mark E. StickelPublished in: Future Gener. Comput. Syst. (1993)
Keyphrases
- computer systems
- automated theorem proving
- theorem prover
- theorem proving
- data processing
- automated reasoning
- operating system
- first order logic
- computing systems
- answer set programming
- higher order logic
- information processing systems
- communication systems
- computer algebra
- inference rules
- proof search
- human beings
- computer architecture
- information systems
- computer technology
- high end
- automated deduction
- computer networks
- software development
- search space
- training data