First Page | Document Content | |
---|---|---|
![]() Date: 2006-12-18 06:42:49Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science | Add to Reading List |