Peter B. Andrews
Affiliations: Carnegie Mellon University, Pittsburgh, PA, USA
According to our database^{1},
Peter B. Andrews
authored at least 29 papers
between 1968 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on andrej.com
On csauthors.net:
Bibliography
2006
J. Appl. Log., 2006
2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Proceedings of the Proceedings, 2005
2004
J. Autom. Reason., 2004
2003
J. Autom. Reason., 2003
2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the Automated Deduction, 2000
Proceedings of the Automated Deduction, 2000
1998
Proceedings of the Automated Deduction, 1998
1996
J. Autom. Reason., 1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
1991
More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation.
J. Autom. Reason., 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
J. Autom. Reason., 1989
1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
An introduction to mathematical logic and type theory  to truth through proof.
Computer science and applied mathematics, Academic Press, ISBN: 9780120585359, 1986
1982
Proceedings of the 6th Conference on Automated Deduction, 1982
1981
J. ACM, 1981
1980
Proceedings of the 5th Conference on Automated Deduction, 1980
1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
IEEE Trans. Computers, 1976
1974
Notre Dame J. Formal Log., 1974
1972
J. Symb. Log., 1972
J. Symb. Log., 1972
1971
J. Symb. Log., 1971
1968
J. Symb. Log., 1968
J. ACM, 1968
J. ACM, 1968