First Page | Document Content | |
---|---|---|
![]() Date: 2017-09-19 19:50:55Theoretical computer science Software engineering Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Boolean algebra Prolog Logic programming Boolean satisfiability problem Sequent calculus | Add to Reading List |