| Attributes | Values |
|---|
| rdf:type
| |
| dct:created
| - 2015, première attribution 2016
|
| rdfs:label
| |
| rdfs:comment
| - Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Il porte le nom du mathématicien et logicien Alonzo Church, l'un des fondateurs de l'informatique théorique. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| foaf:homepage
| |
| foaf:name
| - (fr)
- Prix Alonzo-Church (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:fr
| |
| prop-fr:langue
| |
| prop-fr:titre
| |
| prop-fr:dateDeCréation
| |
| prop-fr:organisateur
| |
| prop-fr:siteOfficiel
| |
| prop-fr:nomOriginal
| - Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
|
| prop-fr:prixRemis
| |
| prop-fr:cérémonieActuelle
| |
| foaf:isPrimaryTopicOf
| |
| named after
| |
| year of creation
| |
| has abstract
| - Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Il porte le nom du mathématicien et logicien Alonzo Church, l'un des fondateurs de l'informatique théorique. (fr)
|
| original name
| - (fr)
- Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
|
| organisation
| |
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)