蒙汉词典搜索
搜索词语:
常用词语: 语言翻译

鲁虺蒙汉词典 / 多种类谓词演算 ᠣᠯᠠᠨ ᠦᠭᠦᠯᠡᠬᠦᠨ ᠦ ᠪᠣᠳᠣᠯᠭ᠎ᠠ 0LAN UGULEHUN-U B0D0LG_A many sorted predicate calculus 3 3 3 上一个 查看全部 下一个

多种类谓词演算 ᠣᠯᠠᠨ ᠦᠭᠦᠯᠡᠬᠦᠨ ᠦ ᠪᠣᠳᠣᠯᠭ᠎ᠠ 0LAN UGULEHUN-U B0D0LG_A many sorted predicate calculus 3 3 3