Geodesic
La verificación estructural de sistemas basados en conocimiento.
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales , Tome 89 (1995) no. 1-2.

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

@article{RRACEFN_1995_1995_1_a9,
     author = {Laita, Luis M.},
     title = {La verificaci\'on estructural de sistemas basados en conocimiento.},
     journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales },
     pages = {143-172},
     publisher = {mathdoc},
     volume = {89},
     number = {1-2},
     year = {1995},
     language = {es},
     url = {http://geodesic.mathdoc.fr/item/RRACEFN_1995_1995_1_a9/}
}
TY  - JOUR
AU  - Laita, Luis M.
TI  - La verificación estructural de sistemas basados en conocimiento.
JO  - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales 
PY  - 1995
SP  - 143
EP  - 172
VL  - 89
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RRACEFN_1995_1995_1_a9/
LA  - es
ID  - RRACEFN_1995_1995_1_a9
ER  - 
%0 Journal Article
%A Laita, Luis M.
%T La verificación estructural de sistemas basados en conocimiento.
%J Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales 
%D 1995
%P 143-172
%V 89
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RRACEFN_1995_1995_1_a9/
%G es
%F RRACEFN_1995_1995_1_a9
Laita, Luis M. La verificación estructural de sistemas basados en conocimiento.. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales , Tome 89 (1995) no. 1-2. http://geodesic.mathdoc.fr/item/RRACEFN_1995_1995_1_a9/