Final report: Basic Research in Artificial Intelligence and Foundations of Programming
[摘要] Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding.
[发布日期] [发布机构]
[效力级别] [学科分类] 计算机科学（综合）
[关键词] [时效性]
