虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是：虫虫下载站 > 资源下载 > 人工智能/神经网络 > 命题逻辑中的归结推理系统设计与实现用C++实现

命题逻辑中的归结推理系统设计与实现用C++实现

  • 资源大小：61 K
  • 上传时间： 2014-01-10
  • 上传用户：flyhack007
  • 资源积分：2 下载积分
  • 标      签： 逻辑 系统设计

资 源 简 介

命题逻辑中的归结推理系统设计与实现用C++实现

相 关 资 源

您 可 能 感 兴 趣 的

虫虫下载站版权所有 京ICP备2021023401号-1