Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Peter B.
Last name:	Andrews
DBLP:	17/459
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Peter B. Andrews, Chad E. Brown. TPS: A hybrid automatic-interactive system for developing proofs.	J. Applied Logic 2006, Volume 4	(0)	2006
	Conference paper Peter B. Andrews. Proving Theorems of Type Theory Automatically with TPS.	Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 2005	(0)	2005
	Conference paper Peter B. Andrews. Some Reflections on Proof Transformations.	Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005	(0)	2005
	Conference paper Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs.	J. Autom. Reasoning 2004, Volume 32	(0)	2004
	Conference paper Peter B. Andrews. Herbrand Award Acceptance Speech.	J. Autom. Reasoning 2003, Volume 31	(0)	2003
	Book chapter Peter B. Andrews. Classical Type Theory.	Handbook of Automated Reasoning (in 2 volumes) 2001	(0)	2001
	Conference paper Peter B. Andrews, Chad E. Brown. Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic.	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000	(0)	2000
	Conference paper Peter B. Andrews, Matthew Bishop, Chad E. Brown. System Description: TPS: A Theorem Proving System for Type Theory.	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000	(0)	2000
	Conference paper Matthew Bishop, Peter B. Andrews. Selectively Instantiating Definitions.	Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998	(0)	1998
	Conference paper Peter B. Andrews, Matthew Bishop. On Sets, Types, Fixed Points, and Checkerboards.	Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings 1996	(0)	1996
	Conference paper Peter B. Andrews, Matthew Bishop, Sunil Issar, Daniel Nesmith, Frank Pfenning, Hongwei Xi. TPS: A Theorem-Proving System for Classical Type Theory.	J. Autom. Reasoning 1996, Volume 16	(0)	1996
	Conference paper Peter B. Andrews, Matthew Bishop, Sunil Issar, Daniel Nesmith, Frank Pfenning, Hongwei Xi. TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.	Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings 1994	(0)	1993
	Conference paper Peter B. Andrews. More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation.	J. Autom. Reasoning 1991, Volume 7	(0)	1991
	Conference paper Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning. The TPS Theorem Proving System.	10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings 1990	(0)	1990
	Conference paper Peter B. Andrews. On Connections and Higher-Order Logic.	J. Autom. Reasoning 1989, Volume 5	(0)	1989
	Conference paper Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning. The TPS Theorem Proving System.	9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings 1988	(0)	1988
	Conference paper Peter B. Andrews. Connections and Higher-Order Logic.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986
	Conference paper Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper. The TPS Theorem Proving System.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986
	Conference paper Dale Miller, Eve Longini Cohen, Peter B. Andrews. A Look at TPS.	6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings 1982	(0)	1982
	Conference paper Peter B. Andrews. Theorem Proving via General Mappings.	J. ACM 1981, Volume 28	(0)	1981
	Conference paper Peter B. Andrews. Transforming Matings into Natural Deduction Proofs.	5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings 1980	(0)	1980
	Conference paper Peter B. Andrews, Eve Longini Cohen. Theorem Proving in Type Theory.	IJCAI 1977	(0)	1977
	Conference paper Peter B. Andrews. Refutations by Matings.	IEEE Trans. Computers 1976, Volume 25	(0)	1976
	Conference paper Peter B. Andrews. General Models, Descriptions, and Choice in Type Theory.	J. Symb. Log. 1972, Volume 37	(0)	1972
	Conference paper Peter B. Andrews. General Models and Extensionality.	J. Symb. Log. 1972, Volume 37	(0)	1972

Show item 1 to 25 of 29  

Your query returned 29 matches in the database.