Brown, Thomas Carl

CaltechTHESIS

• PHD (1975) A structured design-method for specialized proof procedures; 10.7907/nrh8-ka82

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Phd HTML, HTML Include, BibTeX, JSON, RSS