机译:由三个元素(代数系统,形式语言以及常规和非常规计算理论)生成的非对称数值半群的推广
机译:关于由三个元素生成的对称半群的数值实验及其推广
机译:关于由三个元素生成的对称半群的数值实验及其推广
机译:有限半群表示法,半群自由基和形式语言理论
机译:基本形式系统生成的学习语言及其在SH语言中的应用
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:新型陶瓷支架与常规支架使用非常规和常规结扎系统以及自结扎支架产生的摩擦力的比较:一项体外研究
机译:关于交换半群环(代数系统,形式语言以及常规和非常规计算理论)