机译:推导定理证明中的抵消阿贝尔单义半群和相关结构(第二部分)。
机译:推导定理证明中的抵消阿贝尔单半素及其相关结构(上)。
机译:有效地检验Hol定理证明中的命题反驳
机译:关于Abelian边界词的数量(以自动定理为例)
机译:取消阿比越大陆的定理(扩展摘要)
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:通过传递Krull单面体中的长度集来刻画有限阿贝尔群
机译:推导定理证明中的抵消阿贝尔单义半群和相关结构(第二部分)
机译:积分幺半群的一些结构和基本定理。