Lien, Sheue-Ling C.

at Caltech

• Masters (1981) Toward a Theorem Proving Architecture

CaltechTHESIS

• Combined (1) (HTML, HTML Include, BibTeX, JSON, RSS)
• Thesis or Disertation (1) (HTML, HTML Include, BibTeX, JSON, RSS)

CaltechAUTHORS

• Combined (2) (HTML, HTML Include, BibTeX, JSON, RSS)
• Monograph (2) (HTML, HTML Include, BibTeX, JSON, RSS)