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会员