14 relations: Alonzo Church, Automated theorem proving, Carnegie Mellon University, Frank Pfenning, Herbrand Award, Journal of Automated Reasoning, Journal of Symbolic Logic, Journal of the ACM, Mathematician, Pittsburgh, Princeton University, Q0 (mathematical logic), Theorem Proving System, United States.
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Peter B. Andrews and Alonzo Church · See more »
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
New!!: Peter B. Andrews and Automated theorem proving · See more »
Carnegie Mellon University
Carnegie Mellon University (commonly known as CMU) is a private research university in Pittsburgh, Pennsylvania.
New!!: Peter B. Andrews and Carnegie Mellon University · See more »
Frank Pfenning
Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University.
New!!: Peter B. Andrews and Frank Pfenning · See more »
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc.
New!!: Peter B. Andrews and Herbrand Award · See more »
Journal of Automated Reasoning
The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992.
New!!: Peter B. Andrews and Journal of Automated Reasoning · See more »
Journal of Symbolic Logic
The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.
New!!: Peter B. Andrews and Journal of Symbolic Logic · See more »
Journal of the ACM
The Journal of the ACM is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects.
New!!: Peter B. Andrews and Journal of the ACM · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Peter B. Andrews and Mathematician · See more »
Pittsburgh
Pittsburgh is a city in the Commonwealth of Pennsylvania in the United States, and is the county seat of Allegheny County.
New!!: Peter B. Andrews and Pittsburgh · See more »
Princeton University
Princeton University is a private Ivy League research university in Princeton, New Jersey.
New!!: Peter B. Andrews and Princeton University · See more »
Q0 (mathematical logic)
Q0 is Peter Andrews' formulation of the simply-typed lambda calculus, and provides a foundation for mathematics comparable to first-order logic plus set theory.
New!!: Peter B. Andrews and Q0 (mathematical logic) · See more »
Theorem Proving System
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic.
New!!: Peter B. Andrews and Theorem Proving System · See more »
United States
The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.
New!!: Peter B. Andrews and United States · See more »
Redirects here:
Peter Andrews (mathematician), Peter B. Andrews (mathematician).