论文部分内容阅读
西北铁合金厂三车间工程设计和运行二年的初步总结
【机 构】
：
西北铁合金厂
【出 处】
：
中国金属学会第七届全国铁合金学术讨论会
【发表日期】
：
1990年期
其他文献
文[1]、[2]建立了中介逻辑的表推演理论,本文着重介绍以这一理论为基础设计的实验性中介逻辑定理证明器(MTP)。这一定理证明器能实现中介逻辑各子系统(包括经典一阶逻辑)中定
本试验选用抗旱性不同的大豆品种,运用盆栽的方法,研究了叶片超氧化物岐化酶(SOD)与其抗旱性关系,指出植株遇旱SOD活性增强,且以抗旱性强的品种增加幅度较大。在整个生育期间