Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject
Now showing items 21-38 of 38
Subject |
---|
Localización [1] |
Localización de tumores [1] |
Localización visual-inercial [1] |
Logic [6] |
Logic and databases [1] |
Logic and verification [1] |
Lógica [3] |
Lógica de primer orden [1] |
Lógica híbrida [1] |
Lógica LTL [1] |
Lógica matemática [5] |
Lógica modal [1] |
Lógica proposicional dinámica parametrizada [1] |
Logical design [1] |
Lógicas de descripción [1] |
Lógicas Dinámicas [1] |
Lógicas Modales [1] |
LTS [1] |