First Page | Document Content | |
---|---|---|
![]() Date: 2009-11-14 10:24:00Theoretical computer science Mathematical logic Logic Logic in computer science Formal methods Automated theorem proving Model theory NP-complete problems Satisfiability modulo theories Proof assistant First-order logic Solver | Add to Reading List |