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

Rights

This bibliographic record is available under the Creative Commons CC0 public domain dedication. The New College of Florida, as creator of this bibliographic record, has waived all rights to it worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law.