Matches in DBpedia 2014 for { <http://dbpedia.org/resource/David_Plaisted> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- David_Plaisted abstract "David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.Plaisted's research interests include term rewriting systems, automated theorem proving, logic programming, and algorithms.He received his B.S. from the University of Chicago in 1970 and his Ph.D. from Stanford University in 1976.Prof. Plaisted has authored or co-authored numerous publications in a variety of fields of computer science, which are widely cited by academics in these fields. He has also served on a number of program committees and on the editorial boards of a number of journals, including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. Prof. Plaisted spent a sabbatical at SRI International in Menlo Park, California in 1982 and 1983 and another at the Max Planck Institute for Software Systems and the University of Kaiserslautern in Germany in 1993 and 1994.".
- David_Plaisted wikiPageExternalLink ~plaisted.
- David_Plaisted wikiPageID "13681226".
- David_Plaisted wikiPageRevisionID "484396602".
- David_Plaisted hasPhotoCollection David_Plaisted.
- David_Plaisted name "Plaisted, David".
- David_Plaisted subject Category:Living_people.
- David_Plaisted subject Category:University_of_Chicago_alumni.
- David_Plaisted type CausalAgent100007347.
- David_Plaisted type LivingPeople.
- David_Plaisted type LivingThing100004258.
- David_Plaisted type Object100002684.
- David_Plaisted type Organism100004475.
- David_Plaisted type Person100007846.
- David_Plaisted type PhysicalEntity100001930.
- David_Plaisted type Whole100003553.
- David_Plaisted type YagoLegalActor.
- David_Plaisted type YagoLegalActorGeo.
- David_Plaisted type Agent.
- David_Plaisted type Person.
- David_Plaisted type Person.
- David_Plaisted type Q215627.
- David_Plaisted type Q5.
- David_Plaisted type Agent.
- David_Plaisted type NaturalPerson.
- David_Plaisted type Thing.
- David_Plaisted type Person.
- David_Plaisted comment "David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.Plaisted's research interests include term rewriting systems, automated theorem proving, logic programming, and algorithms.He received his B.S. from the University of Chicago in 1970 and his Ph.D. from Stanford University in 1976.Prof. Plaisted has authored or co-authored numerous publications in a variety of fields of computer science, which are widely cited by academics in these fields.".
- David_Plaisted label "David Plaisted".
- David_Plaisted sameAs m.03cdzjf.
- David_Plaisted sameAs Q5238604.
- David_Plaisted sameAs Q5238604.
- David_Plaisted sameAs David_Plaisted.
- David_Plaisted wasDerivedFrom David_Plaisted?oldid=484396602.
- David_Plaisted givenName "David".
- David_Plaisted isPrimaryTopicOf David_Plaisted.
- David_Plaisted name "David Plaisted".
- David_Plaisted name "Plaisted, David".
- David_Plaisted surname "Plaisted".