Fecha:"34z" |
Temas: "Ciencias Informáticas" |
Fecha:"2003" |
Idioma:"Español" |
Temas: "Concept Taxonomíc and Tableaux" |
Tema:"Concept Languages" |
Fecha:"2012" |
Tema:"Languages" |
Tema:"Subsumición" |
Tema:"Calculus" |
Lenguaje de Conceptos | (1) |
Satifactibilidad | (1) |
Satisfiability | (1) |
Subsumiption | (1) |
Taxonomía de Conceptos y Cálculo de Tableaux | (1) |
Más... |
1.
|
La subsumición en la lógica descriptiva ALCN Lizcano, Luis I.
|