6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution Algorithm

Loading...
来自 National Taiwan University 的课程
人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
144 个评分

与讲师见面

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

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。