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

Loading...
Del curso dictado por Universidad Nacional de Taiwán
人工智慧(Artificial Intelligence)
132 ratings