Resolution This procedure has attributed to the pr

Title: Resolution

Category:
Mathimatics-Numerical algorithms
Tags:
[Windows] [Visual.Net] [源码]
File Size:
924kb
Update:
2012-11-26
Downloads:
0 Times
Uploaded by:
redkite5270

Description: 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.

Downloaders recently: [More information of uploader redkite5270]

To Search: propositional logic

[operatorpriorityparser.Rar] - operator priority syntax analyzer, accor
[nearpiont] - closest point to the problem is for two-
[wangqiu] - Problem description : with 000 athletes
[conseq] - propositional logic of reasoning can be
[zchaff] - Propositional logic solver, in 2004 the
[wavelets386] - Artificial Intelligence, the classical w
[c_language-learning_tool-AI-CODE_robot_tank] - c language learning tool, AI robot tanks
[123456] - robot
[JDK] - CJ00336 propositional formula Algorithm
[Robison-resolution-principle] - Robison resolution principle

File list (Check if you may need any files):

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