单项选择题
A.kerasB.pytorchC.mxnetD.caffee
A.2020.10.01B.2019.10.01C.2018.09.10D.2010.06.01
A.消去谓词公式中→和符号B.变量标准化C.消去存在量词D.消去全称量词