中科院研究生院--人工智能原理课件

- Agenda - 3.1 引言3.2 命题逻辑中的归结原理3.3 谓词逻辑中的归结原理 - 翟缠嗡獭必萌之擞帆报赋篡红检凰垮滔蜂道始抽