Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Mathematical Logic
10
Lógica matemática
8
Mathematical logic
4
Lógica modal
3
MATHEMATICAL LOGIC
3
Agda
2
Categoría funtorial
2
Central element
2
Ciencias Informáticas
2
Código intermedio
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Definibilidad
2
Denotational semantics
2
Elemento central
2
Equational logic, Malʹcev conditions
2
Factor congruences
2
Formal Languages
2
General algebraic systems
2
Interpolation, preservation, definability
2
Lambda calculus and related systems
2
Matemática
2
Natural Language Processing
2
Preservación
2
Razonamiento automático
2
SMT
2
Semantics of Programming Languages
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
-
21Publicado 2010Materias: “...Mathematical logic Theses. inist...”
Aportado por: Bibliotecas (UNCuyo)Tesis Libro