About: http://fr.dbpedia.org/resource/Catégorie:Informatique

Property	Value
dbo:wikiPageID	94409 (xsd:integer)
dbo:wikiPageRevisionID	119830780 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_principal dbpedia-fr:Modèle:Multi_bandeau
rdf:type	skos:Concept
rdfs:label	Informatique théorique (fr) Informatique théorique (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Theoretical_computer_science
owl:sameAs	dbc:Theoretical_computer_science dbpedia-commons:Category:Theoretical_computer_science wikidata:Q7153055 dbpedia-ar:تصنيف:معلوماتية_نظرية http://ba.dbpedia.org/resource/Категория:Теоретик_информатика dbpedia-bar:Kategorie:Theoretische_Informatik dbpedia-bg:Категория:Теоретична_информатика http://bn.dbpedia.org/resource/বিষয়শ্রেণী:তাত্ত্বিক_কম্পিউটার_বিজ্ঞান http://bs.dbpedia.org/resource/Kategorija:Teorijsko_računarstvo dbpedia-ca:Categoria:Informàtica_teòrica dbpedia-cs:Kategorie:Teoretická_informatika dbpedia-cy:Categori:Cyfrifiadureg_ddamcaniaethol dbpedia-da:Kategori:Teoretisk_datalogi dbpedia-de:Kategorie:Theoretische_Informatik dbpedia-el:Κατηγορία:Θεωρητική_πληροφορική dbpedia-eo:Kategorio:Teoria_komputiko dbpedia-es:Categoría:Informática_teórica dbpedia-eu:Kategoria:Informatika_teorikoa dbpedia-fa:رده:علوم_نظری_رایانه dbpedia-fi:Luokka:Tietojenkäsittelyteoria http://hi.dbpedia.org/resource/श्रेणी:सैद्धांतिक_कम्प्यूटर_विज्ञान dbpedia-hr:Kategorija:Teoretsko_računarstvo http://hy.dbpedia.org/resource/Կատեգորիա:Տեսական_ինֆորմատիկա http://ia.dbpedia.org/resource/Categoria:Informatica_theoric dbpedia-is:Flokkur:Kennileg_tölvunarfræði dbpedia-it:Categoria:Teorie_dell'informatica dbpedia-ja:Category:理論計算機科学 dbpedia-ka:კატეგორია:თეორიული_ინფორმატიკა dbpedia-ko:분류:이론_컴퓨터_과학 dbpedia-mk:Категорија:Теоретска_информатика http://ml.dbpedia.org/resource/വർഗ്ഗം:തിയററ്റിക്കൽ_കമ്പ്യൂട്ടർ_സയൻസ് http://mn.dbpedia.org/resource/Ангилал:Онолын_информатик dbpedia-ms:Kategori:Sains_komputer_teori dbpedia-nl:Categorie:Theoretische_informatica dbpedia-nn:Kategori:Teoretisk_informatikk dbpedia-no:Kategori:Teoretisk_informatikk dbpedia-pt:Categoria:Ciência_da_computação_teórica dbpedia-ro:Categorie:Informatică_teoretică dbpedia-ru:Категория:Теоретическая_информатика http://sco.dbpedia.org/resource/Category:Theoretical_computer_science dbpedia-sh:Kategorija:Teorijsko_računarstvo dbpedia-simple:Category:Theoretical_computer_science dbpedia-sk:Kategória:Teoretická_počítačová_veda dbpedia-sl:Kategorija:Teoretično_računalništvo dbpedia-sr:Категорија:Теоријско_рачунарство dbpedia-sv:Kategori:Teoretisk_datalogi dbpedia-th:หมวดหมู่:วิทยาการคอมพิวเตอร์เชิงทฤษฎี dbpedia-tr:Kategori:Teorik_bilgisayar_bilimi dbpedia-uk:Категорія:Теоретична_інформатика http://ur.dbpedia.org/resource/زمرہ:نظریاتی_کمپیوٹر_سائنس dbpedia-vi:Thể_loại:Khoa_học_máy_tính_lý_thuyết dbpedia-zh:Category:理论计算机科学 http://azb.dbpedia.org/resource/بؤلمه:تئوریک_بیلگی_سایار_بیلیمی
skos:broader	category-fr:Informatique category-fr:Science_théorique
skos:prefLabel	Informatique théorique (fr) Informatique théorique (fr)
prov:wasDerivedFrom	wikipedia-fr:Catégorie:Informatique_théorique?oldid=119830780&ns=14
is dbo:wikiPageWikiLink of	dbpedia-fr:Complexité_pseudo-polynomiale dbpedia-fr:Algorithme_émergent dbpedia-fr:Analyse_de_la_complexité_des_algorithmes dbpedia-fr:Anti-unification dbpedia-fr:Arité dbpedia-fr:Bisimulation dbpedia-fr:Carte_combinatoire dbpedia-fr:Codage_parcimonieux dbpedia-fr:Code_(information) dbpedia-fr:Coinduction dbpedia-fr:Complexité dbpedia-fr:Complexité_de_Kolmogorov dbpedia-fr:Complexité_de_Lempel-Ziv dbpedia-fr:Complexité_de_la_communication dbpedia-fr:Complexité_des_preuves dbpedia-fr:Complexité_générique_des_algorithmes dbpedia-fr:Complexité_implicite dbpedia-fr:Computability_in_Europe dbpedia-fr:Confluence_(informatique) dbpedia-fr:Conjecture_d'Ehrenfeucht dbpedia-fr:Construction_par_sous-ensembles dbpedia-fr:Continuation_(informatique) dbpedia-fr:Correction_d'un_algorithme dbpedia-fr:Diophantien dbpedia-fr:Discrete_Event_System_Specification dbpedia-fr:Dixième_problème_de_Hilbert dbpedia-fr:Déployeur_universel dbpedia-fr:Encodage_one-hot dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Feature_model dbpedia-fr:Fonction_déterministe dbpedia-fr:Fonction_pseudo-aléatoire dbpedia-fr:Fundamenta_Informaticae dbpedia-fr:Fédération_de_recherche_en_mathématiques_de_Paris_centre dbpedia-fr:Gadget_(informatique) dbpedia-fr:Gaz_neuronal dbpedia-fr:Grammaire_contextuelle dbpedia-fr:Grammaire_linéaire dbpedia-fr:IEEE_Transactions_on_Neural_Networks_and_Learning_Systems dbpedia-fr:Information_partielle_linéaire dbpedia-fr:Informatique_naturelle dbpedia-fr:Informatique_théorique dbpedia-fr:Interprétation_abstraite dbpedia-fr:Join-Calcul dbpedia-fr:Journal_of_Automata,_Languages_and_Combinatorics dbpedia-fr:Langage_congruentiel dbpedia-fr:Langage_creux dbpedia-fr:Lemme_local_de_Lovász dbpedia-fr:Limite_de_Bekenstein dbpedia-fr:Linguistique_informatique dbpedia-fr:Liste_de_publications_importantes_en_informatique_théorique dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_de_description dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Loi_d'Amdahl dbpedia-fr:Loi_de_Grosch dbpedia-fr:Loi_de_Gustafson dbpedia-fr:Machine_de_Boltzmann_restreinte dbpedia-fr:Machine_à_état_liquide dbpedia-fr:Machine_à_états_abstraits dbpedia-fr:Modèle_(informatique) dbpedia-fr:Modèle_LogP_(Informatique) dbpedia-fr:Modèle_booléen dbpedia-fr:Modèle_des_croyances_transférables dbpedia-fr:Modèle_probabiliste_de_pertinence dbpedia-fr:Modèle_vectoriel dbpedia-fr:Modélisation_d'entreprise dbpedia-fr:Monade_(informatique) dbpedia-fr:Mot_sans_facteur_carré dbpedia-fr:Motif_inévitable dbpedia-fr:Mu-calcul dbpedia-fr:Mémoire_temporelle_et_hiérarchique dbpedia-fr:Neural_Computation dbpedia-fr:Nombre_cyclomatique dbpedia-fr:Optimisation_linéaire_en_nombres_entiers dbpedia-fr:Ordre_partiel_complet dbpedia-fr:Physique_numérique_(théorique) dbpedia-fr:Preuves,_Programmes_et_Systèmes dbpedia-fr:Prix_Donald_E._Knuth dbpedia-fr:Prix_EATCS dbpedia-fr:Prix_Gödel dbpedia-fr:Problème_algorithmique dbpedia-fr:Problème_de_satisfaction_de_contraintes dbpedia-fr:Programmation_génétique dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Préordre_de_simulation dbpedia-fr:Recherche_d'information dbpedia-fr:Retour_de_pertinence dbpedia-fr:Répétition_inévitable dbpedia-fr:Réseau_de_neurones_artificiels dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Sesquipuissance dbpedia-fr:Special_Interest_Group_on_Algorithms_and_Computation_Theory dbpedia-fr:Suite_de_Rudin-Shapiro dbpedia-fr:Suite_de_pliage_de_papier dbpedia-fr:Système_complexe dbpedia-fr:Système_d'événement_discret dbpedia-fr:Système_de_tague dbpedia-fr:Sémantique_axiomatique dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Table_de_transition_d'état dbpedia-fr:Terme_(logique) dbpedia-fr:Terminaison_d'un_algorithme dbpedia-fr:Terminaison_d'un_système_de_réécriture dbpedia-fr:Test_de_propriété dbpedia-fr:Théorie_algorithmique_des_jeux dbpedia-fr:Théorie_de_Vapnik-Chervonenkis dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorie_des_domaines dbpedia-fr:Théorème_de_Cobham dbpedia-fr:Théorème_de_Dejean dbpedia-fr:Théorème_de_Mahaney dbpedia-fr:Trou_noir_ordinateur dbpedia-fr:U-matrix dbpedia-fr:Unification dbpedia-fr:Variable_libre dbpedia-fr:École_d'été_de_Marktoberdorf dbpedia-fr:Économie_d'énergie_d'un_programme_informatique dbpedia-fr:Épistémologie_de_l'informatique dbpedia-fr:Maurice_Nivat
is dct:subject of	dbpedia-fr:Complexité_pseudo-polynomiale dbpedia-fr:Algorithme_émergent dbpedia-fr:Analyse_de_la_complexité_des_algorithmes dbpedia-fr:Anti-unification dbpedia-fr:Arité dbpedia-fr:Bisimulation dbpedia-fr:Carte_combinatoire dbpedia-fr:Codage_parcimonieux dbpedia-fr:Code_(information) dbpedia-fr:Coinduction dbpedia-fr:Complexité dbpedia-fr:Complexité_de_Kolmogorov dbpedia-fr:Complexité_de_Lempel-Ziv dbpedia-fr:Complexité_de_la_communication dbpedia-fr:Complexité_des_preuves dbpedia-fr:Complexité_générique_des_algorithmes dbpedia-fr:Complexité_implicite dbpedia-fr:Computability_in_Europe dbpedia-fr:Confluence_(informatique) dbpedia-fr:Conjecture_d'Ehrenfeucht dbpedia-fr:Construction_par_sous-ensembles dbpedia-fr:Continuation_(informatique) dbpedia-fr:Correction_d'un_algorithme dbpedia-fr:Diophantien dbpedia-fr:Discrete_Event_System_Specification dbpedia-fr:Dixième_problème_de_Hilbert dbpedia-fr:Déployeur_universel dbpedia-fr:Encodage_one-hot dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Feature_model dbpedia-fr:Fonction_déterministe dbpedia-fr:Fonction_pseudo-aléatoire dbpedia-fr:Fundamenta_Informaticae dbpedia-fr:Fédération_de_recherche_en_mathématiques_de_Paris_centre dbpedia-fr:Gadget_(informatique) dbpedia-fr:Gaz_neuronal dbpedia-fr:Grammaire_contextuelle dbpedia-fr:Grammaire_linéaire dbpedia-fr:IEEE_Transactions_on_Neural_Networks_and_Learning_Systems dbpedia-fr:Information_partielle_linéaire dbpedia-fr:Informatique_naturelle dbpedia-fr:Informatique_théorique dbpedia-fr:Interprétation_abstraite dbpedia-fr:Join-Calcul dbpedia-fr:Journal_of_Automata,_Languages_and_Combinatorics dbpedia-fr:Langage_congruentiel dbpedia-fr:Langage_creux dbpedia-fr:Lemme_local_de_Lovász dbpedia-fr:Limite_de_Bekenstein dbpedia-fr:Linguistique_informatique dbpedia-fr:Liste_de_publications_importantes_en_informatique_théorique dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_de_description dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Loi_d'Amdahl dbpedia-fr:Loi_de_Grosch dbpedia-fr:Loi_de_Gustafson dbpedia-fr:Machine_de_Boltzmann_restreinte dbpedia-fr:Machine_à_état_liquide dbpedia-fr:Machine_à_états_abstraits dbpedia-fr:Modèle_(informatique) dbpedia-fr:Modèle_LogP_(Informatique) dbpedia-fr:Modèle_booléen dbpedia-fr:Modèle_des_croyances_transférables dbpedia-fr:Modèle_probabiliste_de_pertinence dbpedia-fr:Modèle_vectoriel dbpedia-fr:Modélisation_d'entreprise dbpedia-fr:Monade_(informatique) dbpedia-fr:Mot_sans_facteur_carré dbpedia-fr:Motif_inévitable dbpedia-fr:Mu-calcul dbpedia-fr:Mémoire_temporelle_et_hiérarchique dbpedia-fr:Neural_Computation dbpedia-fr:Nombre_cyclomatique dbpedia-fr:Optimisation_linéaire_en_nombres_entiers dbpedia-fr:Ordre_partiel_complet dbpedia-fr:Physique_numérique_(théorique) dbpedia-fr:Preuves,_Programmes_et_Systèmes dbpedia-fr:Prix_Donald_E._Knuth dbpedia-fr:Prix_EATCS dbpedia-fr:Prix_Gödel dbpedia-fr:Problème_algorithmique dbpedia-fr:Problème_de_satisfaction_de_contraintes dbpedia-fr:Programmation_génétique dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Préordre_de_simulation dbpedia-fr:Recherche_d'information dbpedia-fr:Retour_de_pertinence dbpedia-fr:Répétition_inévitable dbpedia-fr:Réseau_de_neurones_artificiels dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Sesquipuissance dbpedia-fr:Special_Interest_Group_on_Algorithms_and_Computation_Theory dbpedia-fr:Suite_de_Rudin-Shapiro dbpedia-fr:Suite_de_pliage_de_papier dbpedia-fr:Système_complexe dbpedia-fr:Système_d'événement_discret dbpedia-fr:Système_de_tague dbpedia-fr:Sémantique_axiomatique dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Table_de_transition_d'état dbpedia-fr:Terme_(logique) dbpedia-fr:Terminaison_d'un_algorithme dbpedia-fr:Terminaison_d'un_système_de_réécriture dbpedia-fr:Test_de_propriété dbpedia-fr:Théorie_algorithmique_des_jeux dbpedia-fr:Théorie_de_Vapnik-Chervonenkis dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorie_des_domaines dbpedia-fr:Théorème_de_Cobham dbpedia-fr:Théorème_de_Dejean dbpedia-fr:Théorème_de_Mahaney dbpedia-fr:Trou_noir_ordinateur dbpedia-fr:U-matrix dbpedia-fr:Unification dbpedia-fr:Variable_libre dbpedia-fr:École_d'été_de_Marktoberdorf dbpedia-fr:Économie_d'énergie_d'un_programme_informatique dbpedia-fr:Épistémologie_de_l'informatique
is skos:broader of	category-fr:Conférence_en_informatique_théorique category-fr:Modèles_de_calcul category-fr:Algorithmique category-fr:Arithmétique_binaire category-fr:Calculabilité category-fr:Combinatoire_des_mots category-fr:Intelligence_ambiante category-fr:Intelligence_artificielle category-fr:Langage_formel category-fr:Modèle_de_sécurité_informatique category-fr:Modélisation_des_données category-fr:Méthode_formelle category-fr:Ontologie_(informatique) category-fr:Personnalité_en_informatique_théorique category-fr:Réécriture category-fr:Théorie_de_l'information category-fr:Théorie_de_la_complexité_des_algorithmes category-fr:Théorie_des_automates category-fr:Théorie_des_graphes category-fr:Théorie_des_ordres category-fr:Théorie_des_types category-fr:Théorème_d'informatique category-fr:Vie_artificielle category-fr:Wikipédia:ébauche_informatique_théorique
is skos:related of	category-fr:Logique
is oa:hasTarget of	tag-fr:WdtFrResource

About: http://fr.dbpedia.org/resource/Catégorie:Informatique_théorique