机译:从Monadic Hol功能产生证明合成Cakem1
机译:羊毛甾醇的胆固醇生物合成:大鼠固醇delta8-异构酶的分子克隆,染色体定位,功能表达和肝特异性基因调控,一种具有多种功能的胆固醇生成酶。
机译:羊毛甾醇合成胆固醇:大鼠固醇Delta(8)-异构酶(一种具有多种功能的产胆固醇酶)的分子克隆,染色体定位,功能表达和肝特异性基因调控
机译:从Monadic HOL函数生成具有I / O和局部状态的CakeML的证明合成
机译:使用单子高阶函数构造的主观逻辑库。
机译:羊毛甾醇的胆固醇生物合成:大鼠固醇δ8-异构酶的分子克隆染色体定位功能表达和肝特异性基因调控一种具有多种功能的胆固醇生成酶。
机译:犬胎盘前列腺素E2合酶(PTGES):表达,定位和生物功能提供底物为产前PGF2alpha合成。
机译:命题计算的数字化和单一功能计算