Examens corriges

Corrigé-type des travaux dirigés

Exercice 8 a) Un ensemble de clauses ne contenant pas de clause positive ni de clause négative, peut-il être insatisfaisable ? b) Comme corollaire de la réponse ...



Télécharger