Property |
Value |
dbo: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)
- 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)
|
dbo:creationYear
| |
dbo:namedAfter
| |
dbo:organisation
| |
dbo:originalName
|
- (fr)
- Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
- (fr)
- Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 8920 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:cérémonieActuelle
| |
prop-fr:dateDeCréation
| |
prop-fr:fr
|
- Samson Abramsky (fr)
- Samson Abramsky (fr)
|
prop-fr:langue
| |
prop-fr:nomOriginal
|
- Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
- Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
|
prop-fr:organisateur
| |
prop-fr:prixRemis
|
- Certificat et (fr)
- Certificat et (fr)
|
prop-fr:siteOfficiel
| |
prop-fr:titre
|
- Prix Alonzo-Church (fr)
- Prix Alonzo-Church (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:created
|
- 2015, première attribution 2016
|
dct:subject
| |
rdf:type
| |
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)
- 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)
|
rdfs:label
|
- Prix Alonzo-Church (fr)
- Prix Alonzo-Church (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- (fr)
- Prix Alonzo-Church (fr)
- (fr)
- Prix Alonzo-Church (fr)
|
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |