Browsing Tesis de Doctorado en Ciencias de la Computación by Subject
Now showing items 1-14 of 14
Subject |
---|
Decidability [2] |
Decidibilidad [2] |
Deducción y prueba de teoremas [1] |
Deduction and Theorem Proving [1] |
Deduction and theorem proving [1] |
Definability [1] |
Definibilidad [1] |
Denotational semantics [1] |
Deontic logic [1] |
Desarrollo dirigido por modelos [1] |
Diseño de compiladores [1] |
Dynamic analysis [1] |
Dynamic epistemic logics [2] |
Dynamic operators [2] |