Geodesic
Análisis formal de la dinámica computacional en GIGANTEC.
Mathware & soft computing, Tome 8 (2001) no. 2 
Badr, Amr. Análisis formal de la dinámica computacional en GIGANTEC.. Mathware & soft computing, Tome 8 (2001) no. 2. http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/
@article{MSC_2001_2001_1_a12,
     author = {Badr, Amr},
     title = {An\'alisis formal de la din\'amica computacional en {GIGANTEC.}},
     journal = {Mathware & soft computing},
     pages = {137-152},
     year = {2001},
     volume = {8},
     number = {2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/}
}
TY  - JOUR
AU  - Badr, Amr
TI  - Análisis formal de la dinámica computacional en GIGANTEC.
JO  - Mathware & soft computing
PY  - 2001
SP  - 137
EP  - 152
VL  - 8
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/
LA  - en
ID  - MSC_2001_2001_1_a12
ER  - 
%0 Journal Article
%A Badr, Amr
%T Análisis formal de la dinámica computacional en GIGANTEC.
%J Mathware & soft computing
%D 2001
%P 137-152
%V 8
%N 2
%U http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/
%G en
%F MSC_2001_2001_1_a12

Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas