| foundation < foundational < foundations | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000006 (2017-09) | Julian Biendarra [Allemagne] ; Jasmin Blanchette [Allemagne] ; Aymeric Bouzy [France] ; Martin Desharnais [Allemagne] ; Mathias Fleury [Allemagne] ; Johannes Hölzl [États-Unis] ; Ond Ej Kun Ar [Allemagne] ; Andreas Lochbihler [Suisse] ; Fabian Meier [Suisse] ; Lorenz Panny [Pays-Bas] ; Andrei Popescu [Roumanie] ; Christian Sternagel [Autriche] ; René Thiemann [Autriche] ; Dmitriy Traytel [Suisse] | Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic |
| 000179 (2014-10-06) | Mathias Brochhausen [États-Unis] ; Jodi Schneider [France] ; Malone Daniel [États-Unis] ; Philip E. Empey [États-Unis] ; William R. Hogan [États-Unis] ; Richard D. Boyce [États-Unis] | Towards a foundational representation of potential drug-drug interaction knowledge |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/France/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i -k "foundational"
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Title.i \
-Sk "foundational" \
| HfdSelect -Kh $EXPLOR_AREA/Data/France/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Amérique
|area= PittsburghV1
|flux= France
|étape= Analysis
|type= indexItem
|index= Title.i
|clé= foundational
}}
| This area was generated with Dilib version V0.6.38. |  |