文件名称：前束范式生成器-数理逻辑辅助工具
文件大小：1.37MB
文件格式：RAR
更新时间：2014-02-11 08:41:41
数理逻辑 二叉树 数据结构
数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要用二叉树实现。开发环境为VS2008，CLR
【文件预览】：
PrenexFormMFC
----PrenexFormMFC.suo(23KB)
----Release()
--------测试用例.txt(202B)
--------PrenexFormMFC.exe(358KB)
----PrenexFormMFC()
--------测试用例.txt(202B)
--------stdafx.cpp(144B)
--------PrenexFormMFC.rc(5KB)
--------PrenexFormMFCDlg.cpp(4KB)
--------PrenexFormMFC.vcproj.23A8287EC54E4DE.Administrator.user(1KB)
--------PrenexFormClass.cpp(17KB)
--------Release()
--------res()
--------stdafx.h(2KB)
--------BinaryTree.h(5KB)
--------PrenexFormMFC.aps(56KB)
--------targetver.h(1KB)
--------PrenexFormMFC.cpp(2KB)
--------resource.h(639B)
--------PrenexFormMFCDlg.h(617B)
--------PrenexFormClass.h(3KB)
--------PrenexFormMFC.vcproj(6KB)
--------PrenexFormMFC.h(483B)
--------ReadMe.txt(3KB)
----PrenexFormMFC.sln(905B)
----PrenexForm使用说明.doc(30KB)