Fichier
Logique de prédicats
Conditions d'achèvement
présentation du formalisme de représentation de connaissance logique des prédicats
les formes normales
l'unification
démonstration par refutation
programme logique
Déposé le 7 nov. 22, 20:48