Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
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