916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

De AgregmathKL
Aller à : navigation, rechercher