排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
李沁 《安徽工业大学学报(社会科学版)》2011,28(3):112-113
随着定理证明技术在国内科研院所、大专院校以及企业中的推广,在面向计算机专业的数理逻辑课程中开展基于定理证明器的实验课教学,可以引入更多计算的色彩,调动学生的学习兴趣,对推动数理逻辑教学改革有着积极的作用。 相似文献
2.
体积管的状态良好是量值准确可靠的关键,是原油交接双方经济利益的保证。针对体积管在原油流量计栓定过程中常见的故障,分析成因,提出现场诊断与故障排查方法,在提高原油流量计检定工作效率和质量中具有一定的应用价值。 相似文献
1