A Caltech Library Service

Browse by Author

Number of items: 1.

Brown, Thomas Carl (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 Sat Oct 23 12:20:55 2021 UTC.

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.