文件名称：Sentential and Deducutive Reasoning-开源
文件大小：6KB
文件格式：ZIP
更新时间：2024-06-01 18:32:28
开源软件
当该项目完成时，用户可以以标准形式输入演绎参数，然后弹出新的，经过烘焙的有效性判断。
【文件预览】：
table.h
argument.cpp
logic.cpp
argument.h
table.cpp
Sentential and Deducutive Reasoning-开源
【文件属性】：
【文件预览】：
table.h
argument.cpp
logic.cpp
argument.h
table.cpp
【文件预览】：
table.h
argument.cpp
logic.cpp
argument.h
table.cpp