First Page | Document Content | |
---|---|---|
![]() Date: 2012-07-25 08:00:06Automated theorem proving Theoretical computer science Mathematical logic Mathematics Proof theory Logic in computer science Prover9 Resolution Proof compression Automated reasoning Natural deduction Mathematical proof | Add to Reading List |