A Mechanized Algorithm for Constructing the General Solutions of a Class of the Partial Differential Equations and Auto-deduction of Mechanical Equations是什么意思_A Mechanized Algorithm for Constructing the General Solutions of a Class of the Partial Differential Equations and Auto-deduction of Mechanical Equations在线翻译_英语_读音_用法_例句