IA301 - Logique et IA Symbolique - Logics and Symbolic AI