CDN加速镜像 | 设为首页 | 加入收藏夹
登陆 | 会员注册
当前位置： 首页 会员管理中心 查看会员资料

查看会员资料

用 户 名：李***

发送消息
  • Email：
    用户隐藏
  • Icq/MSN：
  • 电话号码：
  • Homepage：
  • 会员简介：

最新会员发布资源

  1. AOMUSv0.72.tar

    1下载量：
  2. 自助推理可满足性研究算法。用于求解极小不可满足子式的随即搜索算法。-Self-study reasoning algorithm can meet. For solving minimal unsatisfiable sub-formula then search algorithm.

  3. 所属分类：AI-NN-PR

    • 发布日期：2017-04-17
    • 文件大小：96418
搜珍网 www.dssz.com