Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jan_L._A._van_de_Snepscheut> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Jan_L._A._van_de_Snepscheut abstract "Johannes Lambertus Adriana van de Snepscheut (Dutch: [ˈsnɛpsxøːt]; 12 September 1953 – 23 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death he was the executive officer of the computer science department at the California Institute of Technology., and was writing an editor for theorem proving called \"Proxac\".In the early morning hours of February 23, 1994, van de Snepscheut attacked his sleeping wife, Terre, with an axe. He then set their house on fire, and died as it burned around him. Terre and their three children escaped their burning home.".
- Jan_L._A._van_de_Snepscheut almaMater Eindhoven_University_of_Technology.
- Jan_L._A._van_de_Snepscheut birthDate "1953-09-12".
- Jan_L._A._van_de_Snepscheut birthPlace Netherlands.
- Jan_L._A._van_de_Snepscheut birthPlace Oosterhout.
- Jan_L._A._van_de_Snepscheut deathDate "1994-02-23".
- Jan_L._A._van_de_Snepscheut deathPlace La_Cañada_Flintridge,_California.
- Jan_L._A._van_de_Snepscheut deathPlace United_States.
- Jan_L._A._van_de_Snepscheut doctoralStudent Peter_Hofstee.
- Jan_L._A._van_de_Snepscheut field Computer_science.
- Jan_L._A._van_de_Snepscheut nationality Netherlands.
- Jan_L._A._van_de_Snepscheut wikiPageID "4577661".
- Jan_L._A._van_de_Snepscheut wikiPageLength "3478".
- Jan_L._A._van_de_Snepscheut wikiPageOutDegree "24".
- Jan_L._A._van_de_Snepscheut wikiPageRevisionID "707330592".
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink California_Institute_of_Technology.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:1953_births.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:1994_deaths.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:California_Institute_of_Technology_faculty.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:Dutch_computer_scientists.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:Eindhoven_University_of_Technology_alumni.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:People_from_Oosterhout.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:Software_engineering_researchers.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Category:University_of_Groningen_faculty.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Computer_science.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Computer_scientist.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Edsger_W._Dijkstra.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Eindhoven_University_of_Technology.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink La_Cañada_Flintridge,_California.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Netherlands.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Oosterhout.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Peter_Hofstee.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink Teacher.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink United_States.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLink University_of_Groningen.
- Jan_L._A._van_de_Snepscheut wikiPageWikiLinkText "Jan L. A. van de Snepscheut".
- Jan_L._A._van_de_Snepscheut wikiPageWikiLinkText "Johannes van de Snepscheut".
- Jan_L._A._van_de_Snepscheut almaMater Eindhoven_University_of_Technology.
- Jan_L._A._van_de_Snepscheut birthDate "1953-09-12".
- Jan_L._A._van_de_Snepscheut birthPlace Netherlands.
- Jan_L._A._van_de_Snepscheut birthPlace Oosterhout.
- Jan_L._A._van_de_Snepscheut deathDate "1994-02-23".
- Jan_L._A._van_de_Snepscheut deathPlace La_Cañada_Flintridge,_California.
- Jan_L._A._van_de_Snepscheut deathPlace United_States.
- Jan_L._A._van_de_Snepscheut doctoralStudents Peter_Hofstee.
- Jan_L._A._van_de_Snepscheut field Computer_science.
- Jan_L._A._van_de_Snepscheut name "Jan L. A. van de Snepscheut".
- Jan_L._A._van_de_Snepscheut nationality Netherlands.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Authority_control.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Birth_date.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Compu-scientist-stub.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Death_date_and_age.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:IPA-nl.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Infobox_scientist.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Netherlands-scientist-stub.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Reflist.
- Jan_L._A._van_de_Snepscheut wikiPageUsesTemplate Template:Wikiquote-inline.
- Jan_L._A._van_de_Snepscheut workInstitutions California_Institute_of_Technology.
- Jan_L._A._van_de_Snepscheut workInstitutions Eindhoven_University_of_Technology.
- Jan_L._A._van_de_Snepscheut workInstitutions University_of_Groningen.
- Jan_L._A._van_de_Snepscheut subject Category:1953_births.
- Jan_L._A._van_de_Snepscheut subject Category:1994_deaths.
- Jan_L._A._van_de_Snepscheut subject Category:California_Institute_of_Technology_faculty.
- Jan_L._A._van_de_Snepscheut subject Category:Dutch_computer_scientists.
- Jan_L._A._van_de_Snepscheut subject Category:Eindhoven_University_of_Technology_alumni.
- Jan_L._A._van_de_Snepscheut subject Category:People_from_Oosterhout.
- Jan_L._A._van_de_Snepscheut subject Category:Software_engineering_researchers.
- Jan_L._A._van_de_Snepscheut subject Category:University_of_Groningen_faculty.
- Jan_L._A._van_de_Snepscheut hypernym Scientist.
- Jan_L._A._van_de_Snepscheut type Agent.
- Jan_L._A._van_de_Snepscheut type Person.
- Jan_L._A._van_de_Snepscheut type Scientist.
- Jan_L._A._van_de_Snepscheut type Person.
- Jan_L._A._van_de_Snepscheut type Redirect.
- Jan_L._A._van_de_Snepscheut type Scientist.
- Jan_L._A._van_de_Snepscheut type Agent.
- Jan_L._A._van_de_Snepscheut type NaturalPerson.
- Jan_L._A._van_de_Snepscheut type Thing.
- Jan_L._A._van_de_Snepscheut type Q215627.
- Jan_L._A._van_de_Snepscheut type Q5.
- Jan_L._A._van_de_Snepscheut type Q901.
- Jan_L._A._van_de_Snepscheut type Person.
- Jan_L._A._van_de_Snepscheut comment "Johannes Lambertus Adriana van de Snepscheut (Dutch: [ˈsnɛpsxøːt]; 12 September 1953 – 23 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra.".
- Jan_L._A._van_de_Snepscheut label "Jan L. A. van de Snepscheut".
- Jan_L._A._van_de_Snepscheut sameAs Q5666148.
- Jan_L._A._van_de_Snepscheut sameAs Jan_L.A._van_de_Snepscheut.
- Jan_L._A._van_de_Snepscheut sameAs m.0c9rd8.
- Jan_L._A._van_de_Snepscheut sameAs Q5666148.
- Jan_L._A._van_de_Snepscheut wasDerivedFrom Jan_L._A._van_de_Snepscheut?oldid=707330592.
- Jan_L._A._van_de_Snepscheut isPrimaryTopicOf Jan_L._A._van_de_Snepscheut.
- Jan_L._A._van_de_Snepscheut name "Jan L. A. van de Snepscheut".