Examens corriges

Méthodes de vérification de bases de connaissances

Dans Prolog III, l'interpr`ete sait résoudre des syst`emes d'équation linéaire `a variables rationnelles et des syst`emes booléens. Plus qu'un ...





Télécharger