Ferrand, Gérard, 19..-...., professeur d'informatique
VIAF ID: 218245494 ( Personal )
Permalink: http://viaf.org/viaf/218245494
Preferred Forms
Works
Title | Sources |
---|---|
CONSISTANCES LOCALES ET TRANSFORMATIONS SYMBOLIQUES DE CONTRAINTES D'INTERVALLES | |
DECLARATIVE APPROACH OF ERROR DIAGNOSIS FOR LOGIC PROGRAMMING WITH NEGATION. | |
ETUDE DES RAPPORTS ENTRE GRAMMAIRES ATTRIBUEES ET PROGRAMMATION LOGIQUE : APPLICATION AU TEST D'OCCURRENCE ET A L'ANALYSE STATIQUE | |
Une formalisation de la résolution des problèmes de satisfaction de contraintes : application à la vision grammaticale de CLP | |
Modèles en termes d'automates : questions de fondements logiques et application à des processus d'apprentissage "stimulus-réponse | |
On string machine. | |
Preuves d'équivalence de programmes logiques | |
Recherches de mot | |
RELATIONS BETWEEN ATTRIBUTE GRAMMARS AND LOGIC PROGRAMMING: APPLICATION TO THE OCCUR-CHECK AND THE STATIC ANALYSIS. | |
Value removal explanations in constraint programming and application to declarative diagnosis. |