Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Lien, Sheue-Ling C.
Monograph from
CaltechTHESIS
Lien, Sheue-Ling C. (1981)
Toward a Theorem Proving Architecture
;
10.7907/ctky-sp95