文件名称:conseq
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 60kb
- 下载次数：
- 0次
- 提 供 者：
- sha***
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
(系统自动生成,下载前可以参看下载内容)
下载文件列表
命题归结
........\第六小组-命题归结
........\.................\conseq.aps
........\.................\conseq.cpp
........\.................\conseq.h
........\.................\conseq.rc
........\.................\conseq.sln
........\.................\conseq.vcproj
........\.................\conseqDlg.cpp
........\.................\conseqDlg.h
........\.................\DJListBox.cpp
........\.................\DJListBox.h
........\.................\res
........\.................\...\conseq.rc2
........\.................\resource.h
........\.................\stdafx.cpp
........\.................\stdafx.h
........\第六小组-命题归结实验报告.doc
........\第六小组-命题归结
........\.................\conseq.aps
........\.................\conseq.cpp
........\.................\conseq.h
........\.................\conseq.rc
........\.................\conseq.sln
........\.................\conseq.vcproj
........\.................\conseqDlg.cpp
........\.................\conseqDlg.h
........\.................\DJListBox.cpp
........\.................\DJListBox.h
........\.................\res
........\.................\...\conseq.rc2
........\.................\resource.h
........\.................\stdafx.cpp
........\.................\stdafx.h
........\第六小组-命题归结实验报告.doc