Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Peter_B._Andrews> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Peter_B._Andrews abstract "Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.".
- Peter_B._Andrews thumbnail Peter_Andrews_IMG_0397.jpg?width=300.
- Peter_B._Andrews wikiPageExternalLink andrews.html.
- Peter_B._Andrews wikiPageID "4132316".
- Peter_B._Andrews wikiPageLength "2255".
- Peter_B._Andrews wikiPageOutDegree "23".
- Peter_B._Andrews wikiPageRevisionID "706983739".
- Peter_B._Andrews wikiPageWikiLink Alonzo_Church.
- Peter_B._Andrews wikiPageWikiLink Automated_theorem_proving.
- Peter_B._Andrews wikiPageWikiLink Carnegie_Mellon_University.
- Peter_B._Andrews wikiPageWikiLink Category:1937_births.
- Peter_B._Andrews wikiPageWikiLink Category:20th-century_American_mathematicians.
- Peter_B._Andrews wikiPageWikiLink Category:21st-century_American_mathematicians.
- Peter_B._Andrews wikiPageWikiLink Category:American_logicians.
- Peter_B._Andrews wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Peter_B._Andrews wikiPageWikiLink Category:Living_people.
- Peter_B._Andrews wikiPageWikiLink Category:Mathematical_logicians.
- Peter_B._Andrews wikiPageWikiLink Category:Princeton_University_alumni,_1960-1969.
- Peter_B._Andrews wikiPageWikiLink Frank_Pfenning.
- Peter_B._Andrews wikiPageWikiLink Herbrand_Award.
- Peter_B._Andrews wikiPageWikiLink Journal_of_Automated_Reasoning.
- Peter_B._Andrews wikiPageWikiLink Journal_of_Symbolic_Logic.
- Peter_B._Andrews wikiPageWikiLink Journal_of_the_ACM.
- Peter_B._Andrews wikiPageWikiLink Mathematician.
- Peter_B._Andrews wikiPageWikiLink Pittsburgh.
- Peter_B._Andrews wikiPageWikiLink Princeton_University.
- Peter_B._Andrews wikiPageWikiLink Theorem_Proving_System.
- Peter_B._Andrews wikiPageWikiLink United_States.
- Peter_B._Andrews wikiPageWikiLink File:Peter_Andrews_IMG_0397.jpg.
- Peter_B._Andrews wikiPageWikiLinkText "Andrews, Peter B.".
- Peter_B._Andrews wikiPageWikiLinkText "Peter B. Andrews".
- Peter_B._Andrews wikiPageUsesTemplate Template:Authority_control.
- Peter_B._Andrews wikiPageUsesTemplate Template:MathGenealogy.
- Peter_B._Andrews wikiPageUsesTemplate Template:Other_people.
- Peter_B._Andrews wikiPageUsesTemplate Template:US-mathematician-stub.
- Peter_B._Andrews subject Category:1937_births.
- Peter_B._Andrews subject Category:20th-century_American_mathematicians.
- Peter_B._Andrews subject Category:21st-century_American_mathematicians.
- Peter_B._Andrews subject Category:American_logicians.
- Peter_B._Andrews subject Category:Carnegie_Mellon_University_faculty.
- Peter_B._Andrews subject Category:Living_people.
- Peter_B._Andrews subject Category:Mathematical_logicians.
- Peter_B._Andrews subject Category:Princeton_University_alumni,_1960-1969.
- Peter_B._Andrews hypernym Mathematician.
- Peter_B._Andrews type List.
- Peter_B._Andrews type Person.
- Peter_B._Andrews type Philosopher.
- Peter_B._Andrews type Scientist.
- Peter_B._Andrews type List.
- Peter_B._Andrews type Mathematician.
- Peter_B._Andrews type Philosopher.
- Peter_B._Andrews type Scientist.
- Peter_B._Andrews type Thing.
- Peter_B._Andrews comment "Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover.".
- Peter_B._Andrews label "Peter B. Andrews".
- Peter_B._Andrews sameAs Q7172598.
- Peter_B._Andrews sameAs Peter_Andrews.
- Peter_B._Andrews sameAs Peter_Andrews.
- Peter_B._Andrews sameAs m.0bkwfw.
- Peter_B._Andrews sameAs Q7172598.
- Peter_B._Andrews wasDerivedFrom Peter_B._Andrews?oldid=706983739.
- Peter_B._Andrews depiction Peter_Andrews_IMG_0397.jpg.
- Peter_B._Andrews isPrimaryTopicOf Peter_B._Andrews.
