Représentation des connaissances

Le cours sur la Hiérarchie Polynomiale et les QBF.

Le cours sur l'Argumentation.