Uyghur←Chinese主要词典
يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش پروگراممىسى
领域: ئۇنىۋېرسال归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
GetWord 语料库
9归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
关于该词条
这是一个维吾尔语–中文词典词条。
该词条来自 Lughet 收录的主要词典。
该词在 Lughet 收录的其他来源中也有释义 — 见下方列表。