注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Formal Verification of Calculus without Limits in Coq

  2. 基于Coq的不用极限微积分形式化验证，郭礼权，郁文生，人工智能是我国当前重大科技发展战略之一，数学形式化作为人工智能的重要理论基础，对科技发展具有重要意义. 本文基于证明辅助工�

  3. 所属分类：其它

    • 发布日期：2020-03-09
    • 文件大小：804864
    • 提供者：weixin_38663516