·2,447,543篇论文数据，部分数据来源于NoteExpress
The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
youdao
应用推荐
模块上移
模块下移
不移动