Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Robert_Lee_Constable> ?p ?o }
Showing triples 1 to 99 of
99
with 100 triples per page.
- Robert_Lee_Constable abstract "Robert \"Bob\" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, USA. He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL system. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, and Robert Harper. He is a Fellow of the Association for Computing Machinery.Constable has been a director of the Marktoberdorf Summer School.".
- Robert_Lee_Constable alias "Bob Constable".
- Robert_Lee_Constable almaMater University_of_Wisconsin–Madison.
- Robert_Lee_Constable citizenship United_States.
- Robert_Lee_Constable doctoralAdvisor Stephen_Cole_Kleene.
- Robert_Lee_Constable doctoralStudent Edmund_M._Clarke.
- Robert_Lee_Constable doctoralStudent Kurt_Mehlhorn.
- Robert_Lee_Constable doctoralStudent Robert_Harper_(computer_scientist).
- Robert_Lee_Constable doctoralStudent Steven_Muchnick.
- Robert_Lee_Constable field Computer_science.
- Robert_Lee_Constable knownFor Nuprl.
- Robert_Lee_Constable wikiPageExternalLink rc.
- Robert_Lee_Constable wikiPageID "32092492".
- Robert_Lee_Constable wikiPageLength "3168".
- Robert_Lee_Constable wikiPageOutDegree "33".
- Robert_Lee_Constable wikiPageRevisionID "679490485".
- Robert_Lee_Constable wikiPageWikiLink Association_for_Computing_Machinery.
- Robert_Lee_Constable wikiPageWikiLink Cambridge_University_Press.
- Robert_Lee_Constable wikiPageWikiLink Category:American_computer_scientists.
- Robert_Lee_Constable wikiPageWikiLink Category:Cornell_University_faculty.
- Robert_Lee_Constable wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Robert_Lee_Constable wikiPageWikiLink Category:Guggenheim_Fellows.
- Robert_Lee_Constable wikiPageWikiLink Category:Living_people.
- Robert_Lee_Constable wikiPageWikiLink Category:Place_of_birth_missing_(living_people).
- Robert_Lee_Constable wikiPageWikiLink Category:University_of_Wisconsin–Madison_alumni.
- Robert_Lee_Constable wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Robert_Lee_Constable wikiPageWikiLink Computer_science.
- Robert_Lee_Constable wikiPageWikiLink Cornell_University.
- Robert_Lee_Constable wikiPageWikiLink Edmund_M._Clarke.
- Robert_Lee_Constable wikiPageWikiLink Kurt_Mehlhorn.
- Robert_Lee_Constable wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Robert_Lee_Constable wikiPageWikiLink Nuprl.
- Robert_Lee_Constable wikiPageWikiLink Prentice_Hall.
- Robert_Lee_Constable wikiPageWikiLink Robert_Harper_(computer_scientist).
- Robert_Lee_Constable wikiPageWikiLink Springer_Science+Business_Media.
- Robert_Lee_Constable wikiPageWikiLink Stephen_Cole_Kleene.
- Robert_Lee_Constable wikiPageWikiLink Steven_Muchnick.
- Robert_Lee_Constable wikiPageWikiLink Summer_School_Marktoberdorf.
- Robert_Lee_Constable wikiPageWikiLink United_States.
- Robert_Lee_Constable wikiPageWikiLink University_of_Wisconsin–Madison.
- Robert_Lee_Constable wikiPageWikiLinkText "Bob Constable".
- Robert_Lee_Constable wikiPageWikiLinkText "Constable, Robert L.".
- Robert_Lee_Constable wikiPageWikiLinkText "R. Constable".
- Robert_Lee_Constable wikiPageWikiLinkText "Robert Constable".
- Robert_Lee_Constable wikiPageWikiLinkText "Robert Lee Constable".
- Robert_Lee_Constable almaMater University_of_Wisconsin–Madison.
- Robert_Lee_Constable alternativeNames "Bob Constable".
- Robert_Lee_Constable citizenship United_States.
- Robert_Lee_Constable doctoralAdvisor Stephen_Cole_Kleene.
- Robert_Lee_Constable doctoralStudents Edmund_M._Clarke.
- Robert_Lee_Constable doctoralStudents Kurt_Mehlhorn.
- Robert_Lee_Constable doctoralStudents Robert_Harper_(computer_scientist).
- Robert_Lee_Constable doctoralStudents Steven_Muchnick.
- Robert_Lee_Constable field Computer_science.
- Robert_Lee_Constable knownFor Nuprl.
- Robert_Lee_Constable name "Constable, Robert Lee".
- Robert_Lee_Constable name "Robert Lee Constable".
- Robert_Lee_Constable shortDescription "American computer scientist".
- Robert_Lee_Constable wikiPageUsesTemplate Template:Authority_control.
- Robert_Lee_Constable wikiPageUsesTemplate Template:Compu-scientist-stub.
- Robert_Lee_Constable wikiPageUsesTemplate Template:Infobox_scientist.
- Robert_Lee_Constable wikiPageUsesTemplate Template:MathGenealogy.
- Robert_Lee_Constable wikiPageUsesTemplate Template:Persondata.
- Robert_Lee_Constable wikiPageUsesTemplate Template:Reflist.
- Robert_Lee_Constable workInstitution Cornell_University.
- Robert_Lee_Constable description "American computer scientist".
- Robert_Lee_Constable description "American computer scientist".
- Robert_Lee_Constable subject Category:American_computer_scientists.
- Robert_Lee_Constable subject Category:Cornell_University_faculty.
- Robert_Lee_Constable subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Robert_Lee_Constable subject Category:Guggenheim_Fellows.
- Robert_Lee_Constable subject Category:Living_people.
- Robert_Lee_Constable subject Category:Place_of_birth_missing_(living_people).
- Robert_Lee_Constable subject Category:University_of_Wisconsin–Madison_alumni.
- Robert_Lee_Constable subject Category:Year_of_birth_missing_(living_people).
- Robert_Lee_Constable hypernym Professor.
- Robert_Lee_Constable type Agent.
- Robert_Lee_Constable type Person.
- Robert_Lee_Constable type Scientist.
- Robert_Lee_Constable type Person.
- Robert_Lee_Constable type Scientist.
- Robert_Lee_Constable type Agent.
- Robert_Lee_Constable type NaturalPerson.
- Robert_Lee_Constable type Thing.
- Robert_Lee_Constable type Q215627.
- Robert_Lee_Constable type Q5.
- Robert_Lee_Constable type Q901.
- Robert_Lee_Constable type Person.
- Robert_Lee_Constable comment "Robert \"Bob\" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, USA. He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL system. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, and Robert Harper.".
- Robert_Lee_Constable label "Robert Lee Constable".
- Robert_Lee_Constable sameAs Q7346802.
- Robert_Lee_Constable sameAs m.0gx1b2q.
- Robert_Lee_Constable sameAs Q7346802.
- Robert_Lee_Constable wasDerivedFrom Robert_Lee_Constable?oldid=679490485.
- Robert_Lee_Constable givenName "Robert Lee".
- Robert_Lee_Constable isPrimaryTopicOf Robert_Lee_Constable.
- Robert_Lee_Constable name "Constable, Robert Lee".
- Robert_Lee_Constable name "Robert Lee Constable".
- Robert_Lee_Constable surname "Constable".