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
Cet article a éte moissonné depuis 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},
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 -
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/