mtg tm:魔术证明聚会的完整性 源码
最终项目:证明魔术的图灵完备性:ACL2中的聚会 作者:列昂尼德·别利亚耶夫(Leonid Belyaev)和塞缪尔·里昂(Samuel Lyon)
下载地址
用户评论