7-2 First-Order Logic (ii) - Using FOL, Inference (i) - Instantiation

Loading...
Из курса от партнера National Taiwan University
人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
145 оценки

Познакомьтесь с преподавателями

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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.