This HTML5 document contains 155 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n14http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n8http://eatcs.org/index.php/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Prix_EATCS
rdfs:label
Prix EATCS EATCS-Award
rdfs:comment
Le prix EATCS est un prix, remis par l'European Association for Theoretical Computer Science (EATCS) à un chercheur pour honorer sa brillante carrière en informatique théorique.
owl:sameAs
dbpedia-pt:Prêmio_EATCS n14:120lw7dd wikidata:Q1273865 dbpedia-de:EATCS-Award
dbo:wikiPageID
7503762
dbo:wikiPageRevisionID
190780408
dbo:wikiPageWikiLink
dbpedia-fr:Mihalis_Yannakakis dbpedia-fr:Rhodes dbpedia-fr:Toniann_Pitassi dbpedia-fr:Venise dbpedia-fr:Groupe_automatique dbpedia-fr:Robin_Milner dbpedia-fr:Kyoto dbpedia-fr:Moshe_Vardi dbpedia-fr:Théorie_des_modèles dbpedia-fr:Marcel-Paul_Schützenberger dbpedia-fr:Géométrie_algorithmique dbpedia-fr:Martin_Dyer dbpedia-fr:Informatique_théorique dbpedia-fr:Optimisation_linéaire dbpedia-fr:L-Système dbpedia-fr:Reykjavik dbpedia-fr:Vers_de_Paterson dbpedia-fr:ML_(langage) dbpedia-fr:Théorie_des_types dbpedia-fr:Eindhoven dbpedia-fr:Apprentissage_automatique dbpedia-fr:Système_temps_réel dbpedia-fr:Grzegorz_Rozenberg dbpedia-fr:Théorème_de_Trakhtenbrot dbpedia-fr:Théorie_des_bases_de_données dbpedia-fr:Glasgow dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Théorie_des_automates dbpedia-fr:Calcul_formel dbpedia-fr:Copenhague dbpedia-fr:Genève dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Apprentissage_PAC dbpedia-fr:Cryptographie dbpedia-fr:Kurt_Mehlhorn dbpedia-fr:Malaga dbpedia-fr:Rome dbpedia-fr:Vérification_de_modèles dbpedia-fr:Christopher_Strachey dbpedia-fr:Machine_abstraite dbpedia-fr:Combinatoire_des_mots dbpedia-fr:Varsovie dbpedia-fr:Maurice_Nivat dbpedia-fr:International_Colloquium_on_Automata,_Languages_and_Programming dbpedia-fr:Complexité_descriptive dbpedia-fr:Coq_(logiciel) dbpedia-fr:Complexité_de_la_communication dbpedia-fr:Complexité_des_preuves dbpedia-fr:Richard_Karp dbpedia-fr:Gordon_Plotkin dbpedia-fr:Théorème_PCP dbpedia-fr:Arto_Salomaa dbpedia-fr:Liste_d'algorithmes category-fr:Distinction_en_informatique dbpedia-fr:Éva_Tardos dbpedia-fr:Riga dbpedia-fr:Algèbre_de_Kleene dbpedia-fr:Algorithme_de_Rabin-Karp dbpedia-fr:Wrocław dbpedia-fr:Couplage_(théorie_des_graphes) dbpedia-fr:Intégration_à_très_grande_échelle dbpedia-fr:Turku dbpedia-fr:Zurich dbpedia-fr:Noam_Nisan dbpedia-fr:Monoïde_des_traces dbpedia-fr:Prague dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Structure_de_données dbpedia-fr:Thomas_Henzinger dbpedia-fr:Assistant_de_preuve dbpedia-fr:Topologie dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Sarrebruck dbpedia-fr:Corrado_Böhm dbpedia-fr:Parallélisme_(informatique) dbpedia-fr:Unification dbpedia-fr:Crète dbpedia-fr:Boris_Trakhtenbrot dbpedia-fr:Programmation_concurrente dbpedia-fr:Lambda-calcul dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Lisbonne dbpedia-fr:Machine_de_Turing_alternante dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Algorithme dbpedia-fr:Warwick_(Angleterre) dbpedia-fr:Théorème_de_Karp-Lipton dbpedia-fr:Inférence_de_types dbpedia-fr:Sprouts dbpedia-fr:Bordeaux dbpedia-fr:Réseau_de_Petri dbpedia-fr:Pi-calcul dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Leslie_Valiant dbpedia-fr:Théorie_des_catégories dbpedia-fr:Automate_à_pile dbpedia-fr:Algorithme_de_Hopcroft-Karp category-fr:Informatique_théorique dbpedia-fr:Calcul_distribué dbpedia-fr:Logique_modale dbpedia-fr:Algèbre_de_processus dbpedia-fr:Langage_formel dbpedia-fr:Dexter_Kozen dbpedia-fr:Programmation_réactive dbpedia-fr:Robotique dbpedia-fr:Complétion_de_Knuth-Bendix dbpedia-fr:Optimisation_de_code dbpedia-fr:Problème_de_flot_maximum dbpedia-fr:Patras dbpedia-fr:Gérard_Huet dbpedia-fr:Sharp-P dbpedia-fr:Optimisation_combinatoire dbpedia-fr:Théorie_algorithmique_des_jeux dbpedia-fr:Problème_NP-complet dbpedia-fr:Optimisation_(mathématiques) dbpedia-fr:Problème_de_satisfaction_de_contraintes dbpedia-fr:Automate_fini dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:APX_(complexité) dbpedia-fr:Bisimulation dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Dana_S._Scott dbpedia-fr:Algorithme_d'approximation dbpedia-fr:Michael_Stewart_Paterson dbpedia-fr:Théorie_des_domaines dbpedia-fr:Christos_Papadimitriou dbpedia-fr:Algorithmique dbpedia-fr:Algorithme_d'Edmonds-Karp
dbo:wikiPageExternalLink
n8:eatcs-award%7Ctitre=
dbo:wikiPageLength
10503
dct:subject
category-fr:Informatique_théorique category-fr:Distinction_en_informatique
prop-fr:wikiPageUsesTemplate
n11:Références n11:Portail n11:Lien n11:Lien_web n11:Palette n11:Crédit_d'auteurs
prov:wasDerivedFrom
wikipedia-fr:Prix_EATCS?oldid=190780408&ns=0
prop-fr:site
EATCS
prop-fr:texte
PLS
prop-fr:trad
PLS
prop-fr:url
http://eatcs.org/index.php/eatcs-award|titre= Page du prix EATCS
foaf:isPrimaryTopicOf
wikipedia-fr:Prix_EATCS
dbo:abstract
Le prix EATCS est un prix, remis par l'European Association for Theoretical Computer Science (EATCS) à un chercheur pour honorer sa brillante carrière en informatique théorique.