go top

automatic deduction

  • 自动演绎

网络释义专业释义

  [计] 自动演绎

... 自动研究计算机 automatic research computer 自动演绎 automatic deduction 自动演绎技术 automatic deduction technique ...

基于86个网页-相关网页

短语

automatic deduction technique [计] 自动演绎技术

automatic deduction in nonstandard logics 非标准逻辑中的自动演绎

automatic type deduction of objects 对象自动类型推导

automatic type deduction 类型推演

automatic geometry deduction 几何自动推理

 更多收起网络短语
  • 自动演绎
  • 自动演绎

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

权威例句

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

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

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