Geodesic
Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
DIA
Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), p. 5.

Voir la notice de l'article provenant de la source Numdam

@article{DIA_1990__23__5_0,
     author = {DIA},
     title = {Journ\'ees {E.L.I.T.} {(Esquisses,} {Logique} et {Informatique} {Th\'eorique)}},
     journal = {Diagrammes},
     pages = {5--5},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {23},
     year = {1990},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/DIA_1990__23__5_0/}
}
TY  - JOUR
AU  - DIA
TI  - Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
JO  - Diagrammes
PY  - 1990
SP  - 5
EP  - 5
VL  - 23
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1990__23__5_0/
LA  - fr
ID  - DIA_1990__23__5_0
ER  - 
%0 Journal Article
%A DIA
%T Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
%J Diagrammes
%D 1990
%P 5-5
%V 23
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1990__23__5_0/
%G fr
%F DIA_1990__23__5_0
DIA. Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique). Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), p. 5. http://geodesic.mathdoc.fr/item/DIA_1990__23__5_0/