go top

extended ml 添加释义

网络释义专业释义英英释义

  延伸ML语言

... 延伸汞自动码 extended mercury autocode 延伸ML语言 Extended ML 延伸助忆 extended mnemonic ...

基于1个网页-相关网页

短语

extended ML-FEM mathematical model 扩展多回路

  • 延伸ml语言
  • 延伸ml语言
    延伸ML语言

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

Extended ML

  • abstract: Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program.

以上来源于: WordNet

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

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

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