机译:从LCF到Isabelle / HOL
机译:向日葵油籽维护者遗传股票HOLS1,HOLS2,HOL3和HOLS4具有高油酸和低饱和脂肪酸的基因和对咪唑啉酮除草剂的耐受性
机译:316LN不锈钢在923 K下在LCF以及LCF和HCF组合条件下的疲劳设计曲线
机译:HOL4中的LCF样式爆破
机译:HOLCF '11:用于验证功能程序的定义域理论
机译:在LCF条件下扭转正反转载荷路径下16MnCrS5钢中成形诱导的初始损伤的性能相关表征
机译:HOL4中的LCF式钻头爆破
机译:语言控制设施(LCF)研究。第一卷LCF的组件要求。