Matthew Bishop is an author at Carnegie Mellon University specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningVerificationComputer ScienceFormal VerificationMathematics Teaching
Publications per year
1996–2004
2
2
TPS: A theorem-proving system for classical type theory
Peter B. Andrews, Matthew Bishop, Sunil Issar et al. · Journal of Automated Reasoning · 1996 · 109 citations
Rows per page
1–2 of 2