6-5 Resolution and CNF (ii) - Properties of Resolution, Ground Resolution Theorem

Loading...
来自 国立台湾大学 的课程
人工智慧(Artificial Intelligence)
131 评分