搜索结果: 1-2 共查到“学术机构 计算机科学技术基础学科 computer science”相关记录2条 . 查询时间(0.097 秒)
Logical Methods in Computer Science（LMCS）
Logical Methods in Computer Science LMCS theoretical computer science 计算机理论
2008/1/15
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, tak...
Computer Science Department at Carnegie Mellon University（图）
Computer Science Department at Carnegie Mellon University 计算机科学 计算思想
2007/4/4
Since our inception forty years ago we have had a broad view of our field and have continued to define and redefine what computer science is. Our mission continues to hold today: to push the frontiers...