go top

formalized arithmetic

  • 形式化算法

网络释义专业释义

  形式化算法

... 击球率的新式算法 new rating 形式化算法 formalized arithmetic 修正矩阵乘积算法 revised product matrix algorithm ...

基于22个网页-相关网页

短语

formalized arithmetic detail 形式化算法

  • 形式化算法

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.

    弗雷《概念文字:一种模仿算术语言构造思维的形式语言》可谓现代逻辑的开山之作。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定