电脑体验，效果更佳

SAT图谱-自然科学领域：

研究人员

闫炜 张一民 高新岩 吴尽昭 孙吉贵

相关术语

模型生成 符号模拟 命题推理 变量划分 一阶逻辑推理 合取范式

标签云