机译:向日葵油籽维护者遗传股票HOLS1,HOLS2,HOL3和HOLS4具有高油酸和低饱和脂肪酸的基因和对咪唑啉酮除草剂的耐受性
机译:N-乙酰己糖胺结合凝集素Hol-18的组织化学定位在Halichondria Okadai(日本黑海绵)及其抗菌和细胞毒性抗癌作用
机译:量子非局部性和复杂整体性
机译:从Monadic HOL函数生成具有I / O和局部状态的CakeML的证明合成
机译:在HOL中构建已验证的硬件和已验证的堆栈
机译:整体研究母乳喂养的定性研究
机译:我学会了潜水的海滩:海洋爆炸和对当地规模的整体知识丧失。