Statistics
Publications
32
Citations
2.4K
H-Index
23
Active since
1963
Peter B. Andrews is an author at Carnegie Mellon University specializing in natural sciences, earth sciences, and geology.
Publications per year
1963–2012
32
32
Theorem Proving via General Matings
Peter B. Andrews · Journal of the ACM · 1981 · 285 citations · Full text
Development of the Circum-Antarctic Current
James P. Kennett, R. E. Houtz, Peter B. Andrews et al. · Science · 1974 · 129 citations
Peter B. Andrews · Journal of Symbolic Logic · 1971 · 129 citations
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
1–5 of 32