义项 · Sense

unrestricted grammar

无限制文法

建议改译 查看词条总览

本站译名 离散算法与计算复杂性 证明论与形式系统 义项编号TS-2512

外文出处

登录后提交

暂无外文出处。

参考链接

社区核验

登录后纠错

已有 0 人核验