About: http://fr.dbpedia.org/resource/Jacobus_Willem_de

Property	Value
dbo:abstract	Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr) Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr)
dbo:almaMater	dbpedia-fr:Université_d'Amsterdam
dbo:award	dbpedia-fr:Ordre_du_Lion_néerlandais
dbo:birthPlace	dbpedia-fr:Ede_(Pays-Bas)
dbo:citizenship	dbpedia-fr:Pays-Bas
dbo:deathDate	2012-12-13 (xsd:date)
dbo:deathPlace	dbpedia-fr:Amsterdam
dbo:doctoralAdvisor	dbpedia-fr:Adriaan_van_Wijngaarden
dbo:doctoralStudent	wikidata:Q102105372 wikidata:Q102243038 wikidata:Q102243214 wikidata:Q102253433 wikidata:Q102253439 wikidata:Q102253908 wikidata:Q102256361 wikidata:Q102325433 wikidata:Q102440931 wikidata:Q102440932 wikidata:Q102441129 wikidata:Q7154167 wikidata:Q77085962 wikidata:Q93431285 wikidata:Q102253235 wikidata:Q102253907
dbo:employer	dbpedia-fr:Université_libre_d'Amsterdam
dbo:occupation	dbpedia-fr:Informaticien wikidata:Q1622272
dbo:wikiPageExternalLink	http://www.cwi.nl/brief/2012/cwi-fellow-jaco-de-bakker-overleden http://dblp.uni-trier.de/pers/hd/b/Bakker:J=_W=_de
dbo:wikiPageID	11603186 (xsd:integer)
dbo:wikiPageLength	4175 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	191401295 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Membre_de_l'Academia_Europaea category-fr:Informaticien_néerlandais dbpedia-fr:Academia_Europaea dbpedia-fr:Académie_royale_néerlandaise_des_arts_et_des_sciences dbpedia-fr:Adriaan_van_Wijngaarden dbpedia-fr:Algol_(langage) dbpedia-fr:Amsterdam category-fr:Chevalier_de_l'ordre_du_Lion_néerlandais category-fr:Décès_en_décembre_2012 category-fr:Décès_à_73_ans category-fr:Informaticien category-fr:Naissance_en_mars_1939 category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_néerlandaise_en_informatique dbpedia-fr:Centrum_voor_Wiskunde_en_Informatica dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:European_Strategic_Program_on_Research_in_Information_Technology dbpedia-fr:Grzegorz_Rozenberg dbpedia-fr:Informatique_théorique dbpedia-fr:International_Federation_for_Information_Processing dbpedia-fr:MIT_Press dbpedia-fr:Ordre_du_Lion_néerlandais dbpedia-fr:Prentice_Hall dbpedia-fr:Université_d'Amsterdam dbpedia-fr:Université_libre_d'Amsterdam
prop-fr:année	1980 (xsd:integer) 1996 (xsd:integer)
prop-fr:auteur	Arie de Bruin (fr) Erik P. de Vink (fr) Jacobus W. de Bakker (fr) Jeffrey Zucker (fr) Arie de Bruin (fr) Erik P. de Vink (fr) Jacobus W. de Bakker (fr) Jeffrey Zucker (fr)
prop-fr:collection	Prentice-Hall international series in computer science (fr) Prentice-Hall international series in computer science (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:pagesTotales	xv+505 (fr) xvii+564 (fr) xv+505 (fr) xvii+564 (fr)
prop-fr:titre	Control flow semantics (fr) Mathematical theory of program correctness (fr) Control flow semantics (fr) Mathematical theory of program correctness (fr)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prop-fr:éditeur	dbpedia-fr:MIT_Press dbpedia-fr:Prentice_Hall
dct:subject	category-fr:Membre_de_l'Academia_Europaea category-fr:Informaticien_néerlandais category-fr:Chevalier_de_l'ordre_du_Lion_néerlandais category-fr:Décès_en_décembre_2012 category-fr:Décès_à_73_ans category-fr:Informaticien category-fr:Naissance_en_mars_1939 category-fr:Personnalité_en_informatique_théorique category-fr:Personnalité_néerlandaise_en_informatique
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species
rdfs:comment	Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr) Jacobus Willem „Jaco“ de Bakker (1939-2012) est un informaticien théoricien néerlandais. (fr)
rdfs:label	Jaco de Bakker (de) Jaco de Bakker (nl) Jaco de Bakker (pt) Jacobus Willem de Bakker (fr) Jaco de Bakker (de) Jaco de Bakker (nl) Jaco de Bakker (pt) Jacobus Willem de Bakker (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0861_3467 http://genealogy.math.ndsu.nodak.edu/id.php?id=60727 http://www.dwc.knaw.nl/biografie/pmknaw/?pagetype=authorDetail&aId=PE00014781 http://academictree.org/chemistry/peopleinfo.php?pid=90963 http://aut.nkp.cz/ola2003204843 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=46130
owl:sameAs	wikidata:Q15451347 dbpedia-de:Jaco_de_Bakker dbpedia-nl:Jaco_de_Bakker dbpedia-pt:Jaco_de_Bakker http://data.bnf.fr/ark:/12148/cb123963708#about http://viaf.org/viaf/95095 http://www.idref.fr/033058881/id https://d-nb.info/gnd/1047965461 https://id.loc.gov/authorities/names/n80025863 http://g.co/kg/g/1hh_pk7rw https://data.bibliotheken.nl/doc/thes/p068899866
prov:wasDerivedFrom	wikipedia-fr:Jacobus_Willem_de_Bakker?oldid=191401295&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Jacobus_Willem_de_Bakker
is dbo:doctoralStudent of	dbpedia-fr:Adriaan_van_Wijngaarden
is dbo:wikiPageRedirects of	dbpedia-fr:Jaco_de_Bakker dbpedia-fr:Jacobus_de_Bakker
is dbo:wikiPageWikiLink of	dbpedia-fr:Dexter_Kozen dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Mu-calcul dbpedia-fr:Jaco_de_Bakker dbpedia-fr:Jacobus_de_Bakker
is oa:hasTarget of	tag-fr:NlFrResource tag-fr:PtFrResource tag-fr:DeFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Jacobus_Willem_de_Bakker

About: http://fr.dbpedia.org/resource/Jacobus_Willem_de_Bakker