| dbo:abbreviation
|
- Log. Methods Comput. Sci.
|
| dbo:abstract
|
- Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg). (en)
- 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）創辦於2004年是一份屬於理論計算與應用逻辑的同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點：以為總主編的優秀編輯群，經由创作共用的許可使刊物內容以开放获取的方式發行。 (zh)
|
| dbo:academicDiscipline
| |
| dbo:editor
| |
| dbo:firstPublicationYear
| |
| dbo:frequencyOfPublication
| |
| dbo:impactFactor
| |
| dbo:impactFactorAsOf
| |
| dbo:issn
| |
| dbo:license
| |
| dbo:oclc
| |
| dbo:openAccessContent
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4416 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:abbreviation
|
- Log. Methods Comput. Sci. (en)
|
| dbp:discipline
| |
| dbp:editor
| |
| dbp:eissn
| |
| dbp:frequency
| |
| dbp:history
| |
| dbp:impact
| |
| dbp:impactYear
| |
| dbp:license
|
- Creative Commons BY 4.0 , Creative Commons BY-ND (en)
|
| dbp:link
| |
| dbp:link2Name
| |
| dbp:oclc
| |
| dbp:openaccess
| |
| dbp:publisher
|
- Logical Methods in Computer Science e.V. (en)
|
| dbp:title
|
- Logical Methods in Computer Science (en)
|
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg). (en)
- 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）創辦於2004年是一份屬於理論計算與應用逻辑的同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點：以為總主編的優秀編輯群，經由创作共用的許可使刊物內容以开放获取的方式發行。 (zh)
|
| rdfs:label
|
- Logical Methods in Computer Science (fr)
- Logical Methods in Computer Science (en)
- 電腦科學邏輯方法期刊 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Logical Methods in Computer Science (en)
|
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |