Peter B. Andrews - PDFSEARCH.IO - Document Search Engine

Peter B. Andrews
Results: 9

#	Item
1	ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop () Add to Reading List Source URL: www.cs.bu.edu - Date: 2003-09-05 13:45:30
2	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
3	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
4	Colchester & District Youth Football League President: Lt. Col. Peter Andrews O.B.E. Season[removed]NOTIFICATION OF MATCH POSTPONEMENT FORM Add to Reading List Source URL: www.colchesteranddistrictyouthleague.com Language: English - Date: 2014-04-02 18:24:25 Colchester Essex Counties of England Geography of England Laws of association football Rugby union match officials Referee
5	Colchester & District Youth Football League ~~~~~ President: Lt. Col. Peter Andrews O.B.E. De-Registration Form TEB13/14 Add to Reading List Source URL: www.colchesteranddistrictyouthleague.com - Date: 2014-03-10 16:11:46
6	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
7	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
8	CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs by Peter B. Andrews Carnegie Mellon University Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 14:59:12 Mathematical proofs Predicate logic Peter B. Andrews Theorem Proving System First-order logic Direct proof Universal quantification KeY Function Mathematics Logic Mathematical logic
9	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic

UPDATE