| |
| 1997 | ||
|---|---|---|
| 3 | EE | Raul H. C. Lopes, Mark Tarver: Inducing Theorem Provers from Proofs. ICTAI 1997: 157-164 |
| 1993 | ||
| 2 | Mark Tarver: A Language for Implementing Arbitrary Logics. IJCAI 1993: 839-844 | |
| 1990 | ||
| 1 | Mark Tarver: An Examination of the Prolog Technology Theorem-Prover. CADE 1990: 322-335 | |
| 1 | Raul H. C. Lopes | [3] |