Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Peter_B._Andrews> ?p ?o }
Showing triples 1 to 83 of
83
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 birthDate "1937".
- Peter_B._Andrews birthYear "1937".
- 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 "2327".
- Peter_B._Andrews wikiPageOutDegree "18".
- Peter_B._Andrews wikiPageRevisionID "660246136".
- Peter_B._Andrews wikiPageWikiLink Alonzo_Church.
- Peter_B._Andrews wikiPageWikiLink Automated_theorem_prover.
- 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.
- Peter_B._Andrews wikiPageWikiLink Herbrand_Award.
- Peter_B._Andrews wikiPageWikiLink Mathematician.
- Peter_B._Andrews wikiPageWikiLink Pittsburgh.
- Peter_B._Andrews wikiPageWikiLink Pittsburgh,_Pennsylvania.
- Peter_B._Andrews wikiPageWikiLink Princeton_University.
- Peter_B._Andrews wikiPageWikiLink TPS_(Theorem_Proving_System).
- 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 dateOfBirth "1937".
- Peter_B._Andrews hasPhotoCollection Peter_B._Andrews.
- Peter_B._Andrews name "Andrews, Peter".
- Peter_B._Andrews shortDescription "American mathematician".
- 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:Persondata.
- Peter_B._Andrews wikiPageUsesTemplate Template:US-mathematician-stub.
- Peter_B._Andrews description "American mathematician".
- Peter_B._Andrews description "American mathematician".
- 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.
- Peter_B._Andrews hypernym Mathematician.
- Peter_B._Andrews type Agent.
- Peter_B._Andrews type Article.
- Peter_B._Andrews type List.
- Peter_B._Andrews type Person.
- Peter_B._Andrews type Philosopher.
- Peter_B._Andrews type Scientist.
- Peter_B._Andrews type Article.
- Peter_B._Andrews type List.
- Peter_B._Andrews type Mathematician.
- Peter_B._Andrews type Philosopher.
- Peter_B._Andrews type Scientist.
- Peter_B._Andrews type Person.
- Peter_B._Andrews type Agent.
- Peter_B._Andrews type NaturalPerson.
- Peter_B._Andrews type Thing.
- Peter_B._Andrews type Q215627.
- Peter_B._Andrews type Q5.
- Peter_B._Andrews type Person.
- 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 Peter_Andrews.
- Peter_B._Andrews sameAs m.0bkwfw.
- Peter_B._Andrews sameAs Q7172598.
- Peter_B._Andrews sameAs Q7172598.
- Peter_B._Andrews wasDerivedFrom Peter_B._Andrews?oldid=660246136.
- Peter_B._Andrews depiction Peter_Andrews_IMG_0397.jpg.
- Peter_B._Andrews givenName "Peter".
- Peter_B._Andrews isPrimaryTopicOf Peter_B._Andrews.
- Peter_B._Andrews name "Andrews, Peter".
- Peter_B._Andrews name "Peter Andrews".
- Peter_B._Andrews surname "Andrews".