机译:在GCD域上的分数算法的机器检查证明
Russian Acad Sci Ailamazyan Program Syst Inst Ul Petra Pervogo 4a Pereslavsky Dist 152021 Yaroslavl Oblas Russia;
机译:机器检查的糕点正确性证明
机译:构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
机译:机器检查证明
机译:普通分数场算术的MIZAR正确性证明*
机译:GCD域的一些概括。
机译:啤酒酵母中真核翻译起始因子2的鸟嘌呤核苷酸交换因子:必需亚基GCD2GCD6和GCD7与调节亚基GCN3之间的相互作用。
机译:通用分数场算法的mizar正确性证明
机译:D + XDsub(s)(X)GCD结构域的构建