热门问题
时间线
聊天
视角
电脑科学逻辑方法期刊
来自维基百科,自由的百科全书
Remove ads
电脑科学逻辑方法期刊(Logical Methods in Computer Science)创办于2004年是一份属于理论计算与应用逻辑的同行评审科学期刊(Scientific journal)。本期刊显示出两个主要的的特点:以达纳·史考特为总主编的优秀编辑群,经由创作共用的许可使刊物内容以开放获取的方式发行。
Remove ads
参见
外部链接
- 电脑科学逻辑方法期刊网站 (页面存档备份,存于互联网档案馆)
![]() | 这是一篇与计算机相关的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads