- arithmetization of formal system
- 形式 form; shape; layout; modalit ...
- 系统 system
- 的 4次方是 The fourth power of 2 i ...
- 算术 arithmetic figure; arithmeti ...
- 化 change; turn; transform
- 形式系统算术化 arithmetization of formal system
- 形式系统的不完全性 incompleteness of formal system
- 算术化 arithmetization
- 形式系统 formal system; logistic system
- 逻辑形式系统 formal system of logic
- 把…算术化 arithmetize
- 闭式系统的可用性 availability of a closed system
- 产生式系统的定义 definition of production system
- 不相容形式系统 inconsistent formal system
- 形式系统相容性 consistency proof
- 产生式系统的解释程序 interpreter of production system
- 产生式系统的可管理性 manageability of production system
- 产生式系统的终止条件 termination condition of production system
- 可分解产生式系统的定义 definition of decomposable production system
- 可分解产生式系统的控制 control of decomposable production system
- 可交换产生式系统的定义 definition of commutative production system
- 数据的算术处理 algorithm processing of data
- 煤矿生产衔接信息系统的算法设计与实现 design and realization of mining production-link information system
- 形式算术 peano axioms
- 轮廓的算术平均偏差 arithmetical mean deviation of the(foughness)profile; arm error
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
Last modified time:Mon, 11 Aug 2025 00:29:56 GMT