<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2004-06-04 08:31:17Automated theorem proving Model theory E theorem prover Theorem prover Tau First-order logic IP Logic in computer science Automated reasoning Theoretical computer science Mathematical logic Software |
