電腦科學邏輯方法期刊

维基百科,自由的百科全书
跳转至: 导航搜索
電腦科學邏輯方法期刊
(Logical Methods in Computer Science)
 
缩写(ISO) LMCS
学科 理論計算機科學
语言 英語
编辑 达纳·斯科特
出版信息
出版者
出版历史 2005年-目前
频率 季刊
索引
ISSN 1860-5974
链接

電腦科學邏輯方法期刊(Logical Methods in Computer Science)創辦於2004年是一份屬於理論計算與應用逻辑同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點:以達納·史考特為總主編的優秀編輯群,經由创作共用的許可使刊物內容以开放获取的方式發行。

參見[编辑]

外部連結[编辑]