A New Algebraic Tool for Automatic Theorem Provers.
Pablo CorderoGloria GutiérrezJavier MartínezInmaculada Perez de GuzmánPublished in: Ann. Math. Artif. Intell. (2004)
Keyphrases
- theorem prover
- computer algebra
- theorem proving
- first order logic
- automated theorem proving
- automated reasoning
- term rewriting
- inference rules
- automated deduction
- higher order
- semi automatic
- software tools
- computer algebra systems
- machine learning
- higher order logic
- reasoning tasks
- formal semantics
- fully automatic
- probability distribution
- metadata