开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
人工智能 命题逻辑归结反演
文件大小： 251k
源码售价： 10 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树 附源代码与实验报告，仅供参考
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。