文件名称:Wang_Hao
介绍说明--下载内容均来自于网络,请自行研究使用
VC++实现图形化界面的王浩算法。王浩算法用来进行定理的自动证明。-VC++ Achieve the graphical interface of the Wang algorithm. Wang algorithm used to automatically prove theorems.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Wang_Hao
........\Debug
........\ReadMe.txt
........\res
........\...\Wang_Hao.rc2
........\Resource.h
........\resource.hm
........\StdAfx.cpp
........\StdAfx.h
........\Wang_Hao.aps
........\Wang_Hao.clw
........\Wang_Hao.cpp
........\Wang_Hao.dsp
........\Wang_Hao.dsw
........\Wang_Hao.h
........\Wang_Hao.ncb
........\Wang_Hao.opt
........\Wang_Hao.plg
........\Wang_Hao.rc
........\Wang_HaoDlg.cpp
........\Wang_HaoDlg.h
........\Debug
........\ReadMe.txt
........\res
........\...\Wang_Hao.rc2
........\Resource.h
........\resource.hm
........\StdAfx.cpp
........\StdAfx.h
........\Wang_Hao.aps
........\Wang_Hao.clw
........\Wang_Hao.cpp
........\Wang_Hao.dsp
........\Wang_Hao.dsw
........\Wang_Hao.h
........\Wang_Hao.ncb
........\Wang_Hao.opt
........\Wang_Hao.plg
........\Wang_Hao.rc
........\Wang_HaoDlg.cpp
........\Wang_HaoDlg.h