Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Tome 89 (1995) no. 1-2
Citer cet article
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/
@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},
year = {1995},
volume = {89},
number = {1-2},
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
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
%U http://geodesic.mathdoc.fr/item/RRACEFN_1995_1995_1_a9/
%G es
%F RRACEFN_1995_1995_1_a9
