原名:The Logic in Computer Science Column
作品简介:卢卡·阿塞托. ICE-TCS，计算机科学学院，。和（我们在这里所说的）形式方法，而形式方法专家往往对现代复杂性理论不感兴趣，也不了解。” 。 Paterson，第 17 届国际研讨会自动机、语言和编程编辑……
资源下载
VIP免费升级VIP
原名:The Logic in Computer Science Column
作品简介:卢卡·阿塞托. ICE-TCS，计算机科学学院，。和（我们在这里所说的）形式方法，而形式方法专家往往对现代复杂性理论不感兴趣，也不了解。” 。 Paterson，第 17 届国际研讨会自动机、语言和编程编辑……
