IFT702 Intelligence Artificielle Froduald Kabanza planiart.usherbrooke.ca/kabanza/cours/ift702 IFT702 Contrôle de la recherche avec des formules de logique.
