Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Natarajan_Shankar> ?p ?o }
Showing triples 1 to 89 of
89
with 100 triples per page.
- Natarajan_Shankar abstract "Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.".
- Natarajan_Shankar almaMater Indian_Institute_of_Technology_Madras.
- Natarajan_Shankar almaMater University_of_Texas_at_Austin.
- Natarajan_Shankar award SRI_International.
- Natarajan_Shankar birthPlace India.
- Natarajan_Shankar field Computer_science.
- Natarajan_Shankar knownFor Prototype_Verification_System.
- Natarajan_Shankar wikiPageExternalLink shankar.
- Natarajan_Shankar wikiPageID "27864021".
- Natarajan_Shankar wikiPageLength "3292".
- Natarajan_Shankar wikiPageOutDegree "26".
- Natarajan_Shankar wikiPageRevisionID "559931201".
- Natarajan_Shankar wikiPageWikiLink Boyer–Moore_theorem_prover.
- Natarajan_Shankar wikiPageWikiLink Cambridge_University_Press.
- Natarajan_Shankar wikiPageWikiLink Carolyn_Talcott.
- Natarajan_Shankar wikiPageWikiLink Category:Indian_computer_scientists.
- Natarajan_Shankar wikiPageWikiLink Category:Living_people.
- Natarajan_Shankar wikiPageWikiLink Category:SRI_International_people.
- Natarajan_Shankar wikiPageWikiLink Church-Rosser.
- Natarajan_Shankar wikiPageWikiLink Church–Rosser_theorem.
- Natarajan_Shankar wikiPageWikiLink Computer_Science.
- Natarajan_Shankar wikiPageWikiLink Computer_science.
- Natarajan_Shankar wikiPageWikiLink Godels_incompleteness_theorem.
- Natarajan_Shankar wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Natarajan_Shankar wikiPageWikiLink IIT_Madras.
- Natarajan_Shankar wikiPageWikiLink India.
- Natarajan_Shankar wikiPageWikiLink Indian_Institute_of_Technology_Madras.
- Natarajan_Shankar wikiPageWikiLink J_Strother_Moore.
- Natarajan_Shankar wikiPageWikiLink John_Rushby.
- Natarajan_Shankar wikiPageWikiLink Menlo_Park,_California.
- Natarajan_Shankar wikiPageWikiLink Nqthm.
- Natarajan_Shankar wikiPageWikiLink Patrick_Lincoln.
- Natarajan_Shankar wikiPageWikiLink Peter_G._Neumann.
- Natarajan_Shankar wikiPageWikiLink Prototype_Verification_System.
- Natarajan_Shankar wikiPageWikiLink Robert_S._Boyer.
- Natarajan_Shankar wikiPageWikiLink SRI_International.
- Natarajan_Shankar wikiPageWikiLink Stanford_University.
- Natarajan_Shankar wikiPageWikiLink University_of_Texas_at_Austin.
- Natarajan_Shankar wikiPageWikiLinkText "Natarajan Shankar".
- Natarajan_Shankar wikiPageWikiLinkText "Shankar".
- Natarajan_Shankar almaMater IIT_Madras.
- Natarajan_Shankar almaMater Indian_Institute_of_Technology_Madras.
- Natarajan_Shankar almaMater University_of_Texas_at_Austin.
- Natarajan_Shankar birthPlace India.
- Natarajan_Shankar field Computer_Science.
- Natarajan_Shankar field Computer_science.
- Natarajan_Shankar hasPhotoCollection Natarajan_Shankar.
- Natarajan_Shankar imageSize "125".
- Natarajan_Shankar knownFor Prototype_Verification_System.
- Natarajan_Shankar name "Natarajan Shankar".
- Natarajan_Shankar name "Shankar, Natarajan".
- Natarajan_Shankar placeOfBirth "India".
- Natarajan_Shankar prizes "SRI International Fellow 2009".
- Natarajan_Shankar shortDescription "Indian computer scientist".
- Natarajan_Shankar wikiPageUsesTemplate Template:Infobox_scientist.
- Natarajan_Shankar wikiPageUsesTemplate Template:Persondata.
- Natarajan_Shankar wikiPageUsesTemplate Template:Reflist.
- Natarajan_Shankar workInstitution SRI_International.
- Natarajan_Shankar description "Indian computer scientist".
- Natarajan_Shankar description "Indian computer scientist".
- Natarajan_Shankar subject Category:Indian_computer_scientists.
- Natarajan_Shankar subject Category:Living_people.
- Natarajan_Shankar subject Category:SRI_International_people.
- Natarajan_Shankar hypernym Scientist.
- Natarajan_Shankar type Agent.
- Natarajan_Shankar type List.
- Natarajan_Shankar type Person.
- Natarajan_Shankar type Scientist.
- Natarajan_Shankar type List.
- Natarajan_Shankar type Scientist.
- Natarajan_Shankar type Person.
- Natarajan_Shankar type Agent.
- Natarajan_Shankar type NaturalPerson.
- Natarajan_Shankar type Thing.
- Natarajan_Shankar type Q215627.
- Natarajan_Shankar type Q5.
- Natarajan_Shankar type Q901.
- Natarajan_Shankar type Person.
- Natarajan_Shankar comment "Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.".
- Natarajan_Shankar label "Natarajan Shankar".
- Natarajan_Shankar sameAs m.0cc8tqq.
- Natarajan_Shankar sameAs Q6968405.
- Natarajan_Shankar sameAs Q6968405.
- Natarajan_Shankar wasDerivedFrom Natarajan_Shankar?oldid=559931201.
- Natarajan_Shankar givenName "Natarajan".
- Natarajan_Shankar isPrimaryTopicOf Natarajan_Shankar.
- Natarajan_Shankar name "Natarajan Shankar".
- Natarajan_Shankar name "Shankar, Natarajan".
- Natarajan_Shankar surname "Shankar".