Lien, Sheue-Ling C.

CaltechTHESIS

• MS (1981) Toward a Theorem Proving Architecture; 10.7907/ctky-sp95

CaltechAUTHORS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Monograph HTML, HTML Include, BibTeX, JSON, RSS

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Masters HTML, HTML Include, BibTeX, JSON, RSS