First Page | Document Content | |
---|---|---|
![]() Date: 2015-03-13 06:06:51Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming | Add to Reading List |