计算机科学逻辑方法期刊

计算机科学逻辑方法期刊 （正體）

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

参见

• 开放获取期刊列表

外部链接

• 计算机科学逻辑方法期刊网站

Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History