Number of items:
1
.
Lien, Sheue-Ling C.
(1981)
Toward a Theorem Proving Architecture.
Master's thesis, California Institute of Technology.
doi:10.7907/ctky-sp95.
https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718
This list was generated on
Wed Dec 17 12:07:01 2025 UTC
.
