原名:Ideals in computable rings – Mathematics and Statistics Department
作品简介:Nerode [8] 表明了构建这种 [9] 的常用方法
Metakides,George 和 Nerode,Anil,域递归理论和摘要。……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录