电脑科学逻辑方法期刊 编辑
电脑科学逻辑方法期刊创办于2004年是一份属于理论计算机科学与应用逻辑的同行评审科学期刊。本期刊显示出两个主要的的特点：以达纳·史考特为总主编的优秀编辑群，经由创作共用的许可使刊物内容以开放获取的方式发行。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]