前束范式生成器-数理逻辑辅助工具

[{"title":"（ 34 个子文件 1.37MB ） 前束范式生成器-数理逻辑辅助工具","children":[{"title":"PrenexFormMFC","children":[{"title":"PrenexFormMFC.suo <span style='color:#111;'> 22.50KB </span>","children":null,"spread":false},{"title":"Release","children":[{"title":"测试用例.txt <span style='color:#111;'> 202B </span>","children":null,"spread":false},{"title":"PrenexFormMFC.exe <span style='color:#111;'> 358.00KB </span>","children":null,"spread":false}],"spread":true},{"title":"PrenexFormMFC","children":[{"title":"测试用例.txt <span style='color:#111;'> 202B </span>","children":null,"spread":false},{"title":"stdafx.cpp <span style='color:#111;'> 144B </span>","children":null,"spread":false},{"title":"PrenexFormMFC.rc <span style='color:#111;'> 4.59KB </span>","children":null,"spread":false},{"title":"PrenexFormMFCDlg.cpp <span style='color:#111;'> 3.90KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.vcproj.23A8287EC54E4DE.Administrator.user <span style='color:#111;'> 1.39KB </span>","children":null,"spread":false},{"title":"PrenexFormClass.cpp <span style='color:#111;'> 17.48KB </span>","children":null,"spread":false},{"title":"Release","children":[{"title":"stdafx.obj <span style='color:#111;'> 2.83MB </span>","children":null,"spread":false},{"title":"BuildLog.htm <span style='color:#111;'> 7.72KB </span>","children":null,"spread":false},{"title":"vc90.pdb <span style='color:#111;'> 2.06MB </span>","children":null,"spread":false},{"title":"vc90.idb <span style='color:#111;'> 579.00KB </span>","children":null,"spread":false},{"title":"PrenexFormClass.obj <span style='color:#111;'> 175.39KB </span>","children":null,"spread":false},{"title":"mt.dep <span style='color:#111;'> 67B </span>","children":null,"spread":false},{"title":"PrenexFormMFC.exe.intermediate.manifest <span style='color:#111;'> 640B </span>","children":null,"spread":false},{"title":"PrenexFormMFC.res <span style='color:#111;'> 32.14KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.obj <span style='color:#111;'> 35.68KB </span>","children":null,"spread":false},{"title":"PrenexFormMFCDlg.obj <span style='color:#111;'> 64.64KB </span>","children":null,"spread":false}],"spread":true},{"title":"res","children":[{"title":"PrenexFormMFC.ico <span style='color:#111;'> 21.12KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.rc2 <span style='color:#111;'> 369B </span>","children":null,"spread":false}],"spread":true},{"title":"stdafx.h <span style='color:#111;'> 1.78KB </span>","children":null,"spread":false},{"title":"BinaryTree.h <span style='color:#111;'> 5.32KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.aps <span style='color:#111;'> 56.46KB </span>","children":null,"spread":false},{"title":"targetver.h <span style='color:#111;'> 1.01KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.cpp <span style='color:#111;'> 1.70KB </span>","children":null,"spread":false},{"title":"resource.h <span style='color:#111;'> 639B </span>","children":null,"spread":false},{"title":"PrenexFormMFCDlg.h <span style='color:#111;'> 617B </span>","children":null,"spread":false},{"title":"PrenexFormClass.h <span style='color:#111;'> 3.40KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.vcproj <span style='color:#111;'> 5.67KB </span>","children":null,"spread":false},{"title":"PrenexFormMFC.h <span style='color:#111;'> 483B </span>","children":null,"spread":false},{"title":"ReadMe.txt <span style='color:#111;'> 2.80KB </span>","children":null,"spread":false}],"spread":false},{"title":"PrenexFormMFC.sln <span style='color:#111;'> 905B </span>","children":null,"spread":false},{"title":"PrenexForm使用说明.doc <span style='color:#111;'> 30.00KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]