Thomas R. Beres is an author at Duke University specializing in formal methods, automated reasoning, and knowledge discovery.
Top concepts
Data MiningEngineeringData ScienceFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationKnowledge DiscoveryPattern RecognitionComputational Complexity
Publications per year
1982–1982
1
1
Rows per page
1–1 of 1