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. https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895

This list was generated on Mon Apr 12 03:01:14 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.