学生作业查看与修改
返回提交页
全部题目
教师批阅
按题目编号查找
题目编号
查找
清空
最新评语
基本信息
Title（题目）
姓名
学号
Original（原题）
Background（背景）
Question（题目）
Answer（答案）
Formalization（形式化）
Propositional
是
否
parameters（符号）
新增符号
Translation（翻译）
新增行
渲染全部
自动渲染
Premise（前提）
新增前提
渲染全部
自动渲染
Conclusion（结论）
渲染
自动渲染