直线程序相关论文
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.......
通过对体院田径教学所面临的形势与任务以及体院田径径赛项目教学特点的分析,指出了传统分项教学模式的不足.依据结构化、定向化教......
