“基于实例的定理证明”的概念、定义、翻译、参考文献-科学参考

单词	基于实例的定理证明
释义	基于实例的定理证明 Computer 人工智能自动推理释文 instance-based theorem proving基于实例的定理证明
随便看	雅努斯乳液雅努斯颗粒雅勃洛奇科夫环形山雅古特雅可夫斯基效应雅可夫椭圆函数雅可比雅可比ζ函数雅可比η函数雅可比θ函数雅可比三重积雅可比三重积恒等式雅可比-佩龙算法雅可比典范形式雅可比准则雅可比函数雅可比原理雅可比反演定理雅可比反演问题雅可比变换雅可比向量场雅可比场雅可比坐标系雅可比型棒雅可比多项式

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。