Ontario < Oregon < Overijssel

Facettes :

List of bibliographic references indexed by Oregon

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
000136 (2006)	John Harrison [États-Unis]	Floating-Point Verification Using Theorem Proving
000310 (2000)	John Harrison [États-Unis]	High-Level Verification Using Theorem Proving and Formalized Mathematics

---

List of associated Author.i

Nombre de documents	Descripteur
2	John Harrison

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/AussoisV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Oregon" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Oregon" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/France
   |area=    AussoisV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Oregon
}}

---

This area was generated with Dilib version V0.6.29. Data generation: Sun Apr 16 19:50:37 2017. Site generation: Mon Feb 12 14:44:36 2024