TOCL欢迎与逻辑的所有方面有关的意见,因为它涉及计算机科学的主题。这个领域在计算机科学方面有着悠久的传统。获得ACM图灵奖的几位研究者也对这一领域做出了贡献,即Edgar Codd(关系数据库系统)、Stephen Cook(逻辑理论的复杂性)、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Dana Scott、y、和(程序逻辑、程序推导)。以及验证、编程语言语义)、Robin Milner(交互式定理证明、并发计算和函数编程)和John McCarthy(人工智能中的函数编程和逻辑)。官网链接:https://tocl.acm.org/index.cfm
没有数据了, 换个别的吧!
参考链接
微信扫码咨询专知VIP会员