电脑科学逻辑方法期刊

维基百科,自由的百科全书
电脑科学逻辑方法期刊
(Logical Methods in Computer Science)
学科理论计算机科学
语言英语
主编达纳·斯科特
出版信息
出版历史2005年-目前
发行周期季刊
标准缩写
ISO 4LMCS
索引
ISSN1860-5974
链接

电脑科学逻辑方法期刊(Logical Methods in Computer Science)创办于2004年是一份属于理论计算与应用逻辑同行评审科学期刊(Scientific journal)。本期刊显示出两个主要的的特点:以达纳·史考特为总主编的优秀编辑群,经由创作共用的许可使刊物内容以开放获取的方式发行。

参见[编辑]

外部链接[编辑]