ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Formal Concept Analysis"
Mostrando ítems 1-1 de 1
-
Artículo
Verification of the Formal Concept Analysis
(Real Academia de Ciencias, 2004)This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...