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

单词	instance-based theorem proving
释义	instance-based theorem proving Computer 人工智能自动推理释文 instance-based theorem proving基于实例的定理证明
随便看	self-propagating star formation self propagation self-propelled chain-track grain combine harvester self-propelled corn ears harvester self-propelled corn harvester self-propelled wheel-type grain combine harvester self-protection electronic jamming self-protective techniques of unguided travel self-published Self-Publishing self-publishing self pulsing laser self-pulsing laser self-pumping self purification of water body self-purification of water body selfquenching self-quenching counter self-quenching streamer counting tube self-quenching streamer tube self-radiant excitance self radiolysis self-radiolysis self-rated health self-rating anxiety scale，SAS

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