Filter by: Subject
Now showing items 1-10
Logic (2) |
Theory of computation (2) |
Asistente de Prueba (1) |
Coq (1) |
Definability (1) |
Definibilidad (1) |
Formal Verification (1) |
Logic and verification (1) |
Lógica (1) |
Lógicas Dinámicas (1) |
Logic (2) |
Theory of computation (2) |
Asistente de Prueba (1) |
Coq (1) |
Definability (1) |
Definibilidad (1) |
Formal Verification (1) |
Logic and verification (1) |
Lógica (1) |
Lógicas Dinámicas (1) |