• Full Text
  • Dissertation or Thesis

A self-verifying theorem prover

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