Logique, réduction, résolution

Michel Demazure, René Lalement

Utilisée dans les 0 développements suivants :


Utilisée dans les 1 leçons suivantes :

920 (2017) Réécriture et formes normales. Exemples.

Utilisée dans les 0 versions de développements suivants :


Utilisée dans les 1 versions de leçons suivantes :