A Caltech Library Service

Browse by Advisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Degree Date (Year Only) | Authors | No Grouping
Jump to: B
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.

This list was generated on Fri Oct 22 11:32:34 2021 UTC.