Thomas D. Garvey is an author at SRI International specializing in engineering, automated reasoning, and data science.
Top concepts
EngineeringData ScienceAutomated ReasoningComputer ScienceFormal MethodsKnowledge DiscoveryStatisticsVerificationData SecurityData Management
Publications per year
1977–2021
15
15
Rows per page
1–5 of 15