| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | 06_LeanCoP.pdf | 2022-02-22 06:15 | 411 KB |
| A Prolog Implementation of an Analytic Tableau Theorem Prover for the Propositional Calculus - André Vellino. 3 May 1989 (EfficientTableau).pdf | 2022-02-22 06:15 | 40 KB |
| First-Order Logic and Automated Theorem Proving - Springer. (Graduate Texts in Computer Science) Melvin Fitting (1996).djvu | 2022-02-22 06:15 | 2245 KB |
| Prolog-ResolutionAndUnification.pdf | 2022-02-22 06:15 | 972 KB |