電腦科學邏輯方法期刊

维基百科,自由的百科全书
跳转到: 导航, 搜索

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

[编辑] 參見

[编辑] 外部連結

个人工具
名字空间
操作
导航
帮助
工具
其他语言