• Full Text
  • Dissertations & Theses

A self-verifying theorem prover

Davis, Jared Curran. The University of Texas at Austin. ProQuest Dissertations Publishing, 2009. 3407549.