| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | A Prolog Technology Theorem Prover_ A new exposition and implementation in Prolog - Mark E. Stickel.pdf | 2022-02-22 06:15 | 1506 KB |
| A Theorem Prover for Equality using Lemmas - Rosa M. Gutierrez Escudero.pdf | 2022-02-22 06:15 | 2993 KB |
| interp-abduct-ai.ps | 2022-02-22 06:15 | 480 KB |
| stickel-abduction-icsc88-amai.ps | 2022-02-22 06:15 | 184 KB |
| stickel-pttp-jar.ps | 2022-02-22 06:15 | 261 KB |