... 第一外国语 First Foreign Language 数理逻辑基础 Elements of Mathematical Logic 形式语言与自动机 Formal Language and Automata ...
基于1个网页-相关网页
elements of mathematical logic
数理逻辑要素
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动