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

Loading...
Do curso por National Taiwan University
人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
149 classificações

Conheça os instrutores

  • 于天立
    于天立
    副教授 (Associate Professor)
    電機工程學系 (Department of Electrical Engineering)

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.