<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-08-31 11:58:31Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution |
Add to Reading List |
Paramodulation Paramodulation Linear Paramodulation