Serveur d'exploration sur Pittsburgh - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Théorie ensemble »
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.
Théorie décision < Théorie ensemble < Théorie esprit  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000848 (2014) Jeremy Avigad [États-Unis] ; John Harrison [États-Unis]Formally Verified Mathematics
002D42 (2012) Arie Beresteanu [États-Unis] ; Ilya Molchanov [Suisse] ; Francesca Molinari [États-Unis]Partial identification using random set theory

List of associated Author.i

Nombre de
documents
Descripteur
1Arie Beresteanu
1Francesca Molinari
1Ilya Molchanov
1Jeremy Avigad
1John Harrison

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Théorie ensemble" 
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Théorie ensemble" \
         | 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/Amérique
   |area=    PittsburghV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Théorie ensemble
}}

Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021