Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « E. Monfroy »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
E. Meyer < E. Monfroy < E. Moran-Tejeda  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A32 (2000) C. Castro [France] ; E. Monfroy [Pays-Bas]A control language for designing constraint solvers
000B30 (1998) E. Monfroy [Pays-Bas] ; C. Ringeissen [France]SoleX : A domain-independent scheme for constraint solver extension

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Programmation logique avec contrainte
2Satisfaction contrainte
10260C
1Algorithme
1Algorithme unification
1Constraint handling rules
1Constraint propagation
1Constraint solving technique
1Declarative programming
1Deduction rules
1Déduction
1Démonstration automatique
1Démonstration théorème
1Finite domain
1Génération automatique
1Informatique théorique
1Intelligence artificielle
1Intégration
1Langage programmation
1Logique
1Méthode mixte
1Programmation déclarative
1Programmation logique
1Robotique
1Règle calcul
1Règles déduction
1Résolution(math)
1Spécification programme
1Système réécriture
1Technique résolution contrainte
1Transformation programme
1Unification
1Unification algorithm

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "E. Monfroy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "E. Monfroy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    E. Monfroy
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022