1. 首页
  2. 移动开发
  3. 其他
  4. mtg tm:魔术证明聚会的完整性 源码

mtg tm:魔术证明聚会的完整性 源码

上传者: 2021-04-03 18:20:28上传 ZIP文件 1.78KB 热度 7次
最终项目:证明魔术的图灵完备性:ACL2中的聚会 作者:列昂尼德·别利亚耶夫(Leonid Belyaev)和塞缪尔·里昂(Samuel Lyon)
下载地址
用户评论