go top

coinduction

  • 共诱导

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

  共诱导

... coinducer 协诱导物,辅诱导物 coinduction 共诱导 coinfection 共感染 ...

基于186个网页-相关网页

  协诱导物

... 天然诱导物 gratuitous inducer 协诱导物 coinduction 诱导物;感应器 inductor ...

基于1个网页-相关网页

  辅诱导物

... 成骨诱导物 osteogenic inducter 辅诱导物 coinduction 抗诱导物 anti inducer; antiinducer ...

基于1个网页-相关网页

短语

coinduction ༅ 共诱导

  • 共归纳原理 - 引用次数:1

    参考来源 - 计算机科学中的共代数方法的研究综述 in C
  • 共诱导

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

Coinduction

  • abstract: In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.

以上来源于: WordNet

双语例句

  • Also, the course of IKVOS in the compressed domain is formalized and the model of IKVOS is proved to satisfy the criterion of coinduction.

    压缩关键视频对象选择算法形式化为压缩域关键视频对象选择模型证明该模型满足归纳法准则

    youdao

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

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

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