The Application of Automated Reasoning to Questions in Mathematics and Logic.
Larry WosWilliam McCunePublished in: Ann. Math. Artif. Intell. (1992)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem prover
- decision procedures
- reasoning tasks
- theorem proving
- probabilistic reasoning
- proof theory
- automated verification
- propositional satisfiability
- computer algebra
- logical implication
- artificial intelligence
- first order logic
- knowledge representation and reasoning
- general purpose