formal system
名词 n.
英文释义
名词 n.
- The grouping of a formal language and a set of inference rules and/or axioms.
词形变化
0 次浏览
数据来源: Wiktionary