@article{urn:eudml:doc:42499,
title = {La verificaci\'on estructural de sistemas basados en conocimiento.},
journal = {Revista de la Real Academia de Ciencias Exactas F\'\i sicas y Naturales},
volume = {89},
year = {1995},
pages = {143-172},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:42499}
}
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) pp. 143-172. http://gdmltest.u-ga.fr/item/urn:eudml:doc:42499/