Mycroft An Automated Predicate Logic Theorem Prover

Author

Austin Eliazar

Date of Award

2001

Document Type

Thesis

Degree Name

Bachelors

Department

Natural Sciences

First Advisor

Henckell, Karsten

Keywords

Automated Theorem Provers, Predicate Logic, Artificial Intelligence

Area of Concentration

Mathematics

Recommended Citation

Eliazar, Austin, "Mycroft An Automated Predicate Logic Theorem Prover" (2001). Theses & ETDs. 2953.
https://digitalcommons.ncf.edu/theses_etds/2953