Birthplace
|
http://fr.dbpedia.org/resource/Ixelles +
|
http://dbpedia.org/ontology/abstract
|
Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes.
|
http://dbpedia.org/ontology/deathDate
|
"2010-11-28"^^xsd:date
|
http://dbpedia.org/ontology/deathPlace
|
http://www.wikidata.org/entity/Q22189817 +
|
http://dbpedia.org/ontology/doctoralStudent
|
http://www.wikidata.org/entity/Q102364650 +
|
http://dbpedia.org/ontology/occupation
|
http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/Math%C3%A9maticien +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.is/20131118022946/http:/www.info.ucl.ac.be/~ms/ +
, http://dblp.uni-trier.de/pers/hd/s/Sintzoff:Michel +
|
http://dbpedia.org/ontology/wikiPageID
|
11599361
|
http://dbpedia.org/ontology/wikiPageLength
|
5958
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
187855970
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Universit%C3%A9_Joseph-Fourier +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:D%C3%A9c%C3%A8s_en_novembre_2010 +
, http://fr.dbpedia.org/resource/Math%C3%A9maticien +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien +
, http://fr.dbpedia.org/resource/Manufacture_belge_de_lampes_%C3%A9lectriques +
, http://fr.dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://fr.dbpedia.org/resource/Interpr%C3%A9tation_abstraite +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_syst%C3%A8mes_dynamiques +
, http://fr.dbpedia.org/resource/Algol_68 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:D%C3%A9c%C3%A8s_%C3%A0_72_ans +
, http://fr.dbpedia.org/resource/Analyse_statique_de_programmes +
, http://fr.dbpedia.org/resource/Academia_Europaea +
, http://fr.dbpedia.org/resource/Service_civil +
, http://fr.dbpedia.org/resource/Universit%C3%A9_catholique_de_Louvain_%281835-1968%29 +
, http://fr.dbpedia.org/resource/S%C3%A9mantique_formelle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Membre_de_soci%C3%A9t%C3%A9_savante +
, http://fr.dbpedia.org/resource/Programmation_concurrente +
, http://fr.dbpedia.org/resource/Ixelles +
, http://fr.dbpedia.org/resource/Universit%C3%A9_de_Lubumbashi +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Docteur_honoris_causa_de_l%27universit%C3%A9_Grenoble_1 +
, http://fr.dbpedia.org/resource/Katanga +
, http://fr.dbpedia.org/resource/Ottignies-Louvain-la-Neuve +
, http://fr.dbpedia.org/resource/Philips +
, http://fr.dbpedia.org/resource/UCLouvain +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_du_contr%C3%B4le +
, http://fr.dbpedia.org/resource/Langage_de_programmation +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Digital_Bibliography_&_Library_Project +
, http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/%C3%89ditions_Dunod +
, http://fr.dbpedia.org/resource/Syst%C3%A8me_de_preuve_interactive +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_ao%C3%BBt_1938 +
, http://fr.dbpedia.org/resource/Ordre_des_Palmes_acad%C3%A9miques +
, http://fr.dbpedia.org/resource/Doctorat_honoris_causa +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_catholique_de_Louvain +
|
http://fr.dbpedia.org/property/année
|
1986
|
http://fr.dbpedia.org/property/auteur
|
Anna Gram
|
http://fr.dbpedia.org/property/collection
|
Dunod informatique
|
http://fr.dbpedia.org/property/consultéLe
|
"2018-03-31"^^xsd:date
|
http://fr.dbpedia.org/property/isbn
|
"0978-02-04"^^xsd:date
|
http://fr.dbpedia.org/property/lieu
|
Paris
|
http://fr.dbpedia.org/property/pagesTotales
|
388
|
http://fr.dbpedia.org/property/titre
|
Raisonner pour programmer
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Biographie2 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Date- +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
|
http://fr.dbpedia.org/property/éditeur
|
http://fr.dbpedia.org/resource/%C3%89ditions_Dunod +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Docteur_honoris_causa_de_l%27universit%C3%A9_Grenoble_1 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_catholique_de_Louvain +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:D%C3%A9c%C3%A8s_%C3%A0_72_ans +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:D%C3%A9c%C3%A8s_en_novembre_2010 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_ao%C3%BBt_1938 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Membre_de_soci%C3%A9t%C3%A9_savante +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Michel_Sintzoff?oldid=187855970&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Michel_Sintzoff +
|
owl:sameAs |
http://www.wikidata.org/entity/Q16018906 +
, http://g.co/kg/m/0zb_pct +
, http://viaf.org/viaf/212131423 +
, http://www.idref.fr/137039441/id +
, http://dbpedia.org/resource/Michel_Sintzoff +
, http://fr.dbpedia.org/resource/Michel_Sintzoff +
|
rdf:type |
http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q19088 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Eukaryote +
|
rdfs:comment |
Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes.
|
rdfs:label |
Michel Sintzoff
|
rdfs:seeAlso |
http://genealogy.math.ndsu.nodak.edu/id.php?id=213011 +
|