dbo:abstract
|
- Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist. (en)
|
dbo:award
| |
dbo:birthDate
| |
dbo:birthName
|
- Charles Gregory Nelson (en)
|
dbo:doctoralAdvisor
| |
dbo:institution
| |
dbo:knownFor
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4818 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:awards
| |
dbp:birthDate
| |
dbp:birthName
|
- Charles Gregory Nelson (en)
|
dbp:doctoralAdvisor
| |
dbp:education
|
- B.A., Harvard University (en)
- Ph.D., Stanford University (en)
|
dbp:knownFor
| |
dbp:name
| |
dbp:thesisTitle
|
- Techniques for Program Verification (en)
|
dbp:thesisUrl
| |
dbp:thesisYear
| |
dbp:wikiPageUsesTemplate
| |
dbp:workplaces
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist. (en)
|
rdfs:label
|
- Greg Nelson (computer scientist) (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |