追求普遍性：第十二届欧洲可计算性会议，CiE 2016，法国巴黎，2016 年 6 月 27 日至 7 月 1 日，会议记录 电子书下载

原名:Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016, Proceedings
作品简介:本书是 2016 年 6 月/7 月在法国巴黎举行的第 12 届欧洲可计算性会议 (CiE 2016) 的审稿论文集。18 篇修订全文、19 篇特邀论文和特邀扩展摘要经过仔细审查，从 40 篇论文中筛选出来。意见书。会议……