文件名称:Resolution
- 所属分类：
- 数值算法/人工智能
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 924kb
- 下载次数：
- 0次
- 提 供 者：
- red ****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summarized the principles of artificial intelligence.相关搜索： 人工智能
propositional
logic
StdAfx
h
归结
propositional
logic
StdAfx
h
归结
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Resolution
..........\Debug
..........\.....\input.txt
..........\.....\归结反演.exe
..........\.....\归结反演.ilk
..........\归结反演
..........\........\Debug
..........\........\.....\BuildLog.htm
..........\........\.....\mt.dep
..........\........\.....\stdafx.obj
..........\........\.....\vc90.idb
..........\........\.....\vc90.pdb
..........\........\.....\归结反演.exe.embed.manifest
..........\........\.....\归结反演.exe.embed.manifest.res
..........\........\.....\归结反演.exe.intermediate.manifest
..........\........\.....\归结反演.obj
..........\........\.....\归结反演.pch
..........\........\input.txt
..........\........\ReadMe.txt
..........\........\stdafx.cpp
..........\........\stdafx.h
..........\........\targetver.h
..........\........\归结反演.cpp
..........\........\归结反演.vcproj
..........\........\归结反演.vcproj.3CB87FC3E9C24A2.Administrator.user
..........\........\归结反演.vcproj.SES-1.Administrator.user
..........\归结反演.ncb
..........\归结反演.sln
..........\Debug
..........\.....\input.txt
..........\.....\归结反演.exe
..........\.....\归结反演.ilk
..........\归结反演
..........\........\Debug
..........\........\.....\BuildLog.htm
..........\........\.....\mt.dep
..........\........\.....\stdafx.obj
..........\........\.....\vc90.idb
..........\........\.....\vc90.pdb
..........\........\.....\归结反演.exe.embed.manifest
..........\........\.....\归结反演.exe.embed.manifest.res
..........\........\.....\归结反演.exe.intermediate.manifest
..........\........\.....\归结反演.obj
..........\........\.....\归结反演.pch
..........\........\input.txt
..........\........\ReadMe.txt
..........\........\stdafx.cpp
..........\........\stdafx.h
..........\........\targetver.h
..........\........\归结反演.cpp
..........\........\归结反演.vcproj
..........\........\归结反演.vcproj.3CB87FC3E9C24A2.Administrator.user
..........\........\归结反演.vcproj.SES-1.Administrator.user
..........\归结反演.ncb
..........\归结反演.sln