de Ledesma L.

L. de Ledesma

Information about the author L. de Ledesma will soon be added to the site.
Found 1 papers in total
A formal model for verification of dynamic consistency of KBSs
1995
This paper proposes a translation of the main concepts involved in Knowledge Based...
Papers per page: