Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields.评价结果

评估详情