“instance-based theorem proving”的概念、定义、翻译、参考文献-科学参考

单词	instance-based theorem proving
释义	instance-based theorem proving Computer 人工智能自动推理释文 instance-based theorem proving基于实例的定理证明
随便看	Exif Information Exif信息 EXIF信息检验 Exif文件 exile Exiled Persons in Beginning of Qing Dynasty EXIMBANK exine exine-held protein Exi Shandi E'xi Shengtaiwenhua Lvyouquan exist existence Existence and Existents existence and non-existence existence and non-existence grow out of each other existence and uniqueness theorem existence axiom existence condition existence criterion existence domain existence factors existence form of element existence limit of nucleus existence of best approximation

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