逻辑程序设计理论与实践

获奖者

ACM通过其在计算机科学和信息技术领域的一系列杰出技术和专业成就及贡献奖来表彰卓越人才。ACM还将那些除专业成就外，为ACM使命做出重大贡献的成员命名为研究员和杰出成员。