First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-20 16:49:24Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover | Add to Reading List |