原名:Game semantics for first-order logic 作品简介:逻辑和编程语言的游戏解释已经初步形成我们的目标是开发一个基于一阶经典逻辑的博弈模型…… 资源下载包年VIP免费升级包年VIP 0 0 游戏编程