直线程序相关论文
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.......
通过对体院田径教学所面临的形势与任务以及体院田径径赛项目教学特点的分析,指出了传统分项教学模式的不足.依据结构化、定向化教......
直线程序对计算树模型是两个研究环(或域)上代数问题复杂性的较好的计算模型,特别是对问题复杂性下界的研究是很方便的。对任何一个直......