First Page | Document Content | |
---|---|---|
![]() Date: 2002-06-13 14:56:18Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP | Add to Reading List |