Mizar语言及MKM:数学表达的形式化和语义基础的挑战

0 下载量 109 浏览量 更新于2024-01-09 收藏 550KB PDF 举报
身份认证 购VIP最低享 7 折!
领优惠券(最高得80元)