2 pages pour «Unifications»

Vous pouvez consulter la page d'explications relative au nuage de mots clés et aux techniques utilisées.

2 pages

  • [1] Unification de Herbrand
    15/06/10 03:00 Algorithme d'unification de Herbrand en programmation déclarative.
    Mot clé = unification | Niveau = 2

  • [2] Unifications
    10/07/10 02:34 Les unifications en calcul des prédicats
    Mot clé = unification | Niveau = 2

 

Document créé le 13/03/10 03:52, dernière modification le 22/08/17 08:03
Source du document imprimé : https://www.gaudry.be/tagcloud-rf-Unifications.html

L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.