Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q18155616> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples per page.
- Q18155616 subject Q5312304.
- Q18155616 subject Q7067047.
- Q18155616 subject Q9580543.
- Q18155616 abstract "Wayne Snyder is an associate professor at Boston University known for his work in E-unification theory.He was raised in Yardley, Pennsylvania, worked in his father's aircraft shop, attended the Berklee School of Music, and obtained an MA in Augustan poetry at Tufts University.He then studied computer science, and earned his Ph.D. at the University of Pennsylvania in 1988.In 1987 he came to Boston University, teaching introductory computer science, and researching on automated reasoning, and, more particularly, E-unification.".
- Q18155616 wikiPageExternalLink UnifChapter.pdf.
- Q18155616 wikiPageExternalLink groundcompletionJACMr.pdf.
- Q18155616 wikiPageExternalLink Snyder:Wayne.
- Q18155616 wikiPageExternalLink ~snyder.
- Q18155616 wikiPageExternalLink ~snyder.
- Q18155616 wikiPageExternalLink pubs.html.
- Q18155616 wikiPageExternalLink pdf?md5=28f5773631f4da449f493ddf610a57ee&pid=1-s2.0-0304397589900042-main.pdf.
- Q18155616 wikiPageExternalLink pdf?md5=5e3c837622767182f01513376905359e&pid=1-s2.0-089054019090061L-main.pdf.
- Q18155616 wikiPageWikiLink Q1224715.
- Q18155616 wikiPageWikiLink Q1709878.
- Q18155616 wikiPageWikiLink Q18209412.
- Q18155616 wikiPageWikiLink Q248970.
- Q18155616 wikiPageWikiLink Q2555318.
- Q18155616 wikiPageWikiLink Q327981.
- Q18155616 wikiPageWikiLink Q4821017.
- Q18155616 wikiPageWikiLink Q49110.
- Q18155616 wikiPageWikiLink Q49117.
- Q18155616 wikiPageWikiLink Q49120.
- Q18155616 wikiPageWikiLink Q502611.
- Q18155616 wikiPageWikiLink Q5159939.
- Q18155616 wikiPageWikiLink Q5238604.
- Q18155616 wikiPageWikiLink Q5312304.
- Q18155616 wikiPageWikiLink Q5647318.
- Q18155616 wikiPageWikiLink Q6049670.
- Q18155616 wikiPageWikiLink Q609057.
- Q18155616 wikiPageWikiLink Q643516.
- Q18155616 wikiPageWikiLink Q7067047.
- Q18155616 wikiPageWikiLink Q7782354.
- Q18155616 wikiPageWikiLink Q924044.
- Q18155616 wikiPageWikiLink Q92729.
- Q18155616 wikiPageWikiLink Q92867.
- Q18155616 wikiPageWikiLink Q9580543.
- Q18155616 name "Wayne Snyder".
- Q18155616 type Person.
- Q18155616 type Agent.
- Q18155616 type Person.
- Q18155616 type Scientist.
- Q18155616 type Agent.
- Q18155616 type NaturalPerson.
- Q18155616 type Thing.
- Q18155616 type Q215627.
- Q18155616 type Q5.
- Q18155616 type Q901.
- Q18155616 type Person.
- Q18155616 comment "Wayne Snyder is an associate professor at Boston University known for his work in E-unification theory.He was raised in Yardley, Pennsylvania, worked in his father's aircraft shop, attended the Berklee School of Music, and obtained an MA in Augustan poetry at Tufts University.He then studied computer science, and earned his Ph.D.".
- Q18155616 label "Wayne Snyder".
- Q18155616 name "Wayne Snyder".