First Page | Document Content | |
---|---|---|
![]() Date: 2018-07-19 05:32:19Logic Mathematical logic Theoretical computer science Automated theorem proving Logic in computer science Formal methods Logic programming Propositional calculus Resolution Unification Satisfiability modulo theories Literal | Add to Reading List |