Lien, Sheue-Ling C.

Combined from CaltechAUTHORS

• Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry; 10.7907/pbcnt-e7f79
• Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture; 10.7907/r0zky-s7g09