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