Skip to main content
CaltechTHESIS
Caltech Library Thesis Repository
Home
About
Search
Author
Year
Advisors
Committee Members
Degree/Thesis Type
Option
Research Group
Ingargiola, Giorgio
Advisor
— 1 thesis
Brown, Thomas Carl, Jr. —
A Structured Design Method for Specialized Proof Procedures
(1975, Dissertation (Ph.D.))