会员服务
Acta Informatica提供了关于程序、计算系统和信息结构的设计和分析的形式化方法的文章，以及理论计算机科学的相关领域，如自动机理论、计算机科学中的逻辑和算法。官网链接：https://link.springer.com/journal/236
暂无数据
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top