电脑体验，效果更佳

郭远华图谱-计算机领域：

相关人员

曾振柄

研究领域

自动推理 重言衍推 相干命题 试探法 自然推理 可读证明 自动证明 证明树

所属机构

华东师范大学软件学院 华东师范大学上海市高可信计算重点实验室

标签云