Verification of the formal concept analysis in PVS

De WikiGLC
Revisión del 18:34 1 jun 2010 de Mjoseh (discusión | contribuciones) (New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar