Algorithmes de calcul formel et numérique - Institut Fourier
... corrige le plus tôt possible). Si tu trouves une erreur, une typo, une faute d ... calcul propositionnel : représentation, formes normales, satisfiabilité ...
... corrige le plus tôt possible). Si tu trouves une erreur, une typo, une faute d ... calcul propositionnel : représentation, formes normales, satisfiabilité ...