compounds < computer < computers

Facettes :

List of bibliographic references indexed by computer

Number of relevant bibliographic references: 3.

Ident.	Authors (with country if any)	Title
000296 (2001)	Henk Barendregt [Pays-Bas] ; Arjeh M. Cohen [Pays-Bas]	Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants
000489 (1998)	Anthony Bailey [Royaume-Uni]	Coercion synthesis in computer implementations of type-theoretic frameworks
000632 (1996)	Ping Xu [États-Unis] ; J. W. Morris [États-Unis]	Computer simulation of reversible martensitic transformations

---

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/Title.i -k "computer" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "computer" \
         | 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=    Title.i
   |clé=    computer
}}

---

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