...
机译:两个巴恩斯引理和另一个引理的新证明
机译:两个巴恩斯引理和另一个引理的新证明
机译:基本直接证明Knaster-Kuratowski-Mazurkiewicz引理暗示Sperner引理
机译:从数独难题的模型生成证明中提取的引理分析-引理一般化
机译:Proof Pearl:ACL2中Higman引理的形式证明
机译:自动引理生成和用于重写归纳的多上下文方案
机译:同源基因长不育外lem(G1)指定水稻小穗中的不育外identity身份
机译:两个巴恩斯引理和另一个引理的新证明