Number of items:
1
.
Brown, Thomas Carl, Jr.
(1975)
A Structured Design Method for Specialized Proof Procedures.
Dissertation (Ph.D.), California Institute of Technology.
doi:10.7907/nrh8-ka82.
https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895
This list was generated on
Wed Dec 17 12:12:41 2025 UTC
.
