| dbo:abstract
|
- 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. (fr)
- The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. (en)
- Lógica em ciência da computação abrange a sobreposição entre o campo da Lógica e o da ciência da computação. O tópico pode ser essencialmente dividido em três áreas principais:
* Fundamentos e análises teóricas.
* Uso da tecnologia da computação para auxiliar na lógica.
* O uso de conceitos da lógica para aplicações computacionais. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6098 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (fr)
- The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. (en)
- Lógica em ciência da computação abrange a sobreposição entre o campo da Lógica e o da ciência da computação. O tópico pode ser essencialmente dividido em três áreas principais:
* Fundamentos e análises teóricas.
* Uso da tecnologia da computação para auxiliar na lógica.
* O uso de conceitos da lógica para aplicações computacionais. (pt)
|
| rdfs:label
|
- ACM-IEEE Symposium on Logic in Computer Science (fr)
- Lógica em ciência da computação (pt)
- Symposium on Logic in Computer Science (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
