| Property |
Value |
| dbo:abstract
|
- Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications. (fr)
- Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications. (fr)
|
| dbo:country
| |
| dbo:editor
| |
| dbo:gameEngine
| |
| dbo:license
| |
| dbo:owner
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5163 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:abréviation
|
- Log. Methods Comput. Sci. (fr)
- Log. Methods Comput. Sci. (fr)
|
| prop-fr:accèsOuvert
| |
| prop-fr:annéeImpact
| |
| prop-fr:discipline
| |
| prop-fr:eissn
| |
| prop-fr:fréquence
|
- trimestriel (fr)
- trimestriel (fr)
|
| prop-fr:impact
| |
| prop-fr:langue
|
- anglais (fr)
- anglais (fr)
|
| prop-fr:maison
|
- Logical Methods in Computer Science e.V. (fr)
- Logical Methods in Computer Science e.V. (fr)
|
| prop-fr:oclc
| |
| prop-fr:période
| |
| prop-fr:siteWeb
| |
| prop-fr:titre
|
- Logical Methods in Computer Science (fr)
- Logical Methods in Computer Science (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wikidata
|
- Q13644986 (fr)
- Q13644986 (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications. (fr)
- Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications. (fr)
|
| rdfs:label
|
- Logical Methods in Computer Science (fr)
- Logical Methods in Computer Science (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
