中英▼
go top

algorithmic program

  • 算法程序

网络释义专业释义

  算法程序

算法程序

基于1个网页-相关网页

短语

Program Designing & Algorithmic Language 程序设计及算法语言

Algorithmic program transformation 算法程序变换

developing method of algorithmic program 算法程序开发方法

algorithmic language program conversion 算法语言程序转换

algorithmic language program [计] 算法语言程序

Program Designing & Algorithmic 程序设计及算法语言

 更多收起网络短语
  • 算法程序 - 引用次数：13

    It’s a prevalent trendency to automatically verify the correctness of algorithmic program by means of theorem prover.

    使用定理证明工具对算法程序进行机械证明是一种发展趋势。

    参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用

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

双语例句

  • The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.

    循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。

    youdao

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

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

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