摘要：本文以计算逻辑为理论基础，设计了一种对象检索模型以解决定理机器证明中的”同理可证”问题，该模型采用基于事例的推理方法来进行推理。

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）