#theorem-proving# 相关文档
-
PropositionalApproachestoFirstderTheemProving.ppt
Propositional Approaches to First-Order Theorem ProvingDavid A. PlaistedUNC Chapel HillMay 2004History of AIEarly emphasis on general methodsNewell Shaw Simon GPSRobinson 1965 resolutionCordell Gree
日期：2022-04-25 格式：.pptx 页数：93页 大小：606.5KB 发布：
- 1
- 1/1页
#theorem-proving# 热门文档
客服
顶部