examen

TD : unification et résolution

TD : Logique, déduction et programmation, p. 1. TD : unification et résolution. 1 Unification ... Il peut être un loup garou : il mange le hommes pendant les nuits ...



Télécharger TD : unification et résolution pdf