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

Loading...
From the course by 国立台湾大学
人工智慧(Artificial Intelligence)
131 ratings