计算机科学逻辑方法期刊
电脑科学逻辑方法期刊(Logical Methods in Computer Science)创办于2004年是一份属于理论计算与应用逻辑的同行评审科学期刊(Scientific journal)。本期刊显示出两个主要的的特点:以达纳·史考特为总主编的优秀编辑群,经由创作共用的许可使刊物内容以开放获取的方式发行。
学科 | 理论计算机科学 |
---|---|
语言 | 英语 |
主编 | 达纳·斯科特 |
出版信息 | |
出版历史 | 2005年-目前 |
发行周期 | 季刊 |
标准缩写 | |
ISO 4 | LMCS |
索引 | |
ISSN | 1860-5974 |
链接 | |
参见
编辑外部链接
编辑- 电脑科学逻辑方法期刊网站 (页面存档备份,存于互联网档案馆)
这是一篇与计算机相关的小作品。您可以通过编辑或修订扩充其内容。 |