| |
| 2002 | ||
|---|---|---|
| 3 | EE | Andrew Slater: Modelling More Realistic SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 591-602 |
| 1998 | ||
| 2 | Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247 | |
| 1 | EE | Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50 |
| 1 | Rajeev Goré | [1] [2] |
| 2 | Joachim Posegga | [1] [2] |
| 3 | Harald Vogt | [1] [2] |