FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Intégration »
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.
Intégrale parcours < Intégration < Intégration conceptuelle  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000388 (2006) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient theory combination via boolean search
000499 (2005) Olivier Bournez [France] ; Emmanuel Hainry [France]Elementarily computable functions over the real numbers and R-sub-recursive functions
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000B28 (1998) M. Bounab [Arabie saoudite] ; C. Godart [France]Tool integration in distributed environments : an experience report in a manufacturing framework
000C62 (1996) J. Bouaud [France] ; R. Voyer [France]Langages à objets et langages de règles : étude critique et propositions d'intégration
000D71 (1990) YUDONG SUN [France] ; M.-C. Haton ; B. DevinIntegrating theorem proving and partial evaluation techniques for organic synthesis and teaching

List of associated Author.i

Nombre de
documents		Descripteur
1Alessandro Cimatti
1B. Devin
1C. Godart
1C. Ringeissen
1E. Monfroy
1Emmanuel Hainry
1J. Bouaud
1M. Bounab
1M.-C. Haton
1Marco Bozzano
1Olivier Bournez
1Peter Van Rossum
1R. Voyer
1Roberto Bruttomesso
1Roberto Sebastiani
1Silvio Ranise
1Tommi Junttila
1YUDONG SUN

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/FC03.fr.i -k "Intégration" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Intégration" \
         | 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=    FC03.fr.i
   |clé=    Intégration
}}
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