http://dbpedia.org/ontology/abstract
|
La conférence ACM-IEEE Symposium on Logic … La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique. Elle a lieu annuellement, sous les auspices du Special Interest Group on Logic and Computation (SIGLOG) et est organisée par l'ACM et le IEEE.OG) et est organisée par l'ACM et le IEEE.
|
http://dbpedia.org/ontology/maintainedBy
|
http://fr.dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://fr.dbpedia.org/resource/Association_for_Computing_Machinery +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://lics.rwth-aachen.de/ +
|
http://dbpedia.org/ontology/wikiPageID
|
10690978
|
http://dbpedia.org/ontology/wikiPageLength
|
7603
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
174575176
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Liste_des_principales_conf%C3%A9rences_d%27informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Dexter_Kozen +
, http://fr.dbpedia.org/resource/Thomas_Henzinger +
, http://fr.dbpedia.org/resource/Kyoto +
, http://fr.dbpedia.org/resource/Max_Dauchet +
, http://fr.dbpedia.org/resource/Joseph_Sifakis +
, http://fr.dbpedia.org/resource/Calculateur_quantique +
, http://fr.dbpedia.org/resource/Leslie_Lamport +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Conf%C3%A9rence_en_informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Pierre_Wolper +
, http://fr.dbpedia.org/resource/Congr%C3%A8s_scientifique +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Columbia +
, http://fr.dbpedia.org/resource/Vienne_%28Autriche%29 +
, http://fr.dbpedia.org/resource/Alvy_Ray_Smith +
, http://fr.dbpedia.org/resource/V%C3%A9rification_de_mod%C3%A8les +
, http://fr.dbpedia.org/resource/Andr%C3%A9_Joyal +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_bases_de_donn%C3%A9es +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_automates +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_mod%C3%A8les_finis +
, http://fr.dbpedia.org/resource/Reykjavik +
, http://fr.dbpedia.org/resource/Bio-informatique +
, http://fr.dbpedia.org/resource/Rajeev_Alur +
, http://fr.dbpedia.org/resource/Stephen_Cole_Kleene +
, http://fr.dbpedia.org/resource/Logique_de_description +
, http://fr.dbpedia.org/resource/Programmation_concurrente +
, http://fr.dbpedia.org/resource/Calcul_distribu%C3%A9 +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_complexit%C3%A9_%28informatique_th%C3%A9orique%29 +
, http://fr.dbpedia.org/resource/Amina_Doumane +
, http://fr.dbpedia.org/resource/Logique_modale +
, http://fr.dbpedia.org/resource/Constructivisme_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Logical_Methods_in_Computer_Science +
, http://fr.dbpedia.org/resource/Logique_temporelle +
, http://fr.dbpedia.org/resource/Peter_Freyd +
, http://fr.dbpedia.org/resource/ACM_Transactions_on_Computational_Logic +
, http://fr.dbpedia.org/resource/Programmation_par_contraintes +
, http://fr.dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://fr.dbpedia.org/resource/Mart%C3%ADn_Abadi +
, http://fr.dbpedia.org/resource/Cambridge_%28Massachusetts%29 +
, http://fr.dbpedia.org/resource/Logique_math%C3%A9matique +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_domaines +
, http://fr.dbpedia.org/resource/Informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Association_for_Computing_Machinery +
|
http://fr.dbpedia.org/property/charte
|
sommet
|
http://fr.dbpedia.org/property/création
|
1988
|
http://fr.dbpedia.org/property/date
|
annuelle
|
http://fr.dbpedia.org/property/fr
|
List of computer science conferences
, Kleene award
|
http://fr.dbpedia.org/property/géolocalisation
|
pas pertinent
|
http://fr.dbpedia.org/property/langue
|
en
|
http://fr.dbpedia.org/property/localisation
|
villes variées
|
http://fr.dbpedia.org/property/nom
|
ACM-IEEE Symposium on Logic in Computer Science
|
http://fr.dbpedia.org/property/organisateur
|
ACM Special Interest Group on Logic and Computation et IEEE
|
http://fr.dbpedia.org/property/siteWeb
|
http://lics.rwth-aachen.de/ +
|
http://fr.dbpedia.org/property/sousTitre
|
-
|
http://fr.dbpedia.org/property/type
|
Conférence académique
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_%C3%89v%C3%A9nement +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Titre_en_italique +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Conf%C3%A9rence_en_informatique_th%C3%A9orique +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/ACM-IEEE_Symposium_on_Logic_in_Computer_Science?oldid=174575176&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://lics.rwth-aachen.de/ +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/ACM-IEEE_Symposium_on_Logic_in_Computer_Science +
|
owl:sameAs |
http://fr.dbpedia.org/resource/ACM-IEEE_Symposium_on_Logic_in_Computer_Science +
, http://pt.dbpedia.org/resource/L%C3%B3gica_em_ci%C3%AAncia_da_computa%C3%A7%C3%A3o +
, http://dbpedia.org/resource/Symposium_on_Logic_in_Computer_Science +
, http://www.wikidata.org/entity/Q5970489 +
, http://g.co/kg/m/0g9mxm +
, http://viaf.org/viaf/150718461 +
, http://ma-graph.org/entity/1171002971 +
|
rdfs:comment |
La conférence ACM-IEEE Symposium on Logic … La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique. Elle a lieu annuellement, sous les auspices du Special Interest Group on Logic and Computation (SIGLOG) et est organisée par l'ACM et le IEEE.OG) et est organisée par l'ACM et le IEEE.
|
rdfs:label |
Lógica em ciência da computação
, Symposium on Logic in Computer Science
, ACM-IEEE Symposium on Logic in Computer Science
|