First Page | Document Content | |
---|---|---|
![]() Date: 2012-03-27 15:38:49Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving | Add to Reading List |