Toward a Theorem Proving Architecture
No abstract.
Main Author: | |
---|---|
Format: | Others |
Language: | en |
Published: |
1981
|
Online Access: | https://thesis.library.caltech.edu/6908/1/Lien_slc_1981.pdf 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 <https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718> |
Internet
https://thesis.library.caltech.edu/6908/1/Lien_slc_1981.pdfLien, 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 <https://resolver.caltech.edu/CaltechTHESIS:04122012-090812718>