Theorem prover for autoepistemic logic

Curtis Ray Welborn, University of Texas at El Paso

Abstract

Abstract not available

Subject Area

Computer science

Recommended Citation

Welborn, Curtis Ray, "Theorem prover for autoepistemic logic" (1988). ETD Collection for University of Texas, El Paso. AAIEP02847.
https://scholarworks.utep.edu/dissertations/AAIEP02847

COinS