DictionnaireLe forumContacts

Google | Forvo | +

SLD-Resolution

f
intell. linear resolution with selection function for definite clauses; selected linear definite resolution; SLD resolution

Ajouter | Signaler une erreur | Obtenir une URL courte