- LOGICA 1,147
- Lógica matemática 467
- FILOSOFIA 454
- LOGICA MATEMATICA 206
- Mathematical logic 191
- Lógica 124
- CIENCIAS SOCIALES 100
- METAFISICA 91
- Lógica y significado de programas 90
- EPISTEMOLOGIA 87
- Logics and meanings of programs 84
- DERECHO 81
- Lenguajes formales 81
- Formal languages 79
- FILOSOFIA DEL DERECHO 73
- LOGICA SIMBOLICA 71
- TEORIA DEL CONOCIMIENTO 71
- FILOSOFIA DE LA CIENCIA 67
- FILOSOFIA DEL LENGUAJE 55
- LOGICA SIMBOLICA Y MATEMATICA 54
- ETICA 53
- MATEMATICAS 53
- CIENCIA 50
- Mathematical logic-Computation 45
- Lógica matemática-Computación 44
- Teoría de conjuntos 42
- FILOSOFIA S.XX 41
- LOGICA FORMAL 41
- RAZONAMIENTO 41
- POSITIVISMO LOGICO 40
-
2241
-
2242
-
2243
-
2244
Simetrías en lógicas de descripción
Published 2018Subjects: “…Lógicas de descripción…”
Get full text
bachelorThesis -
2245
-
2246
-
2247
-
2248
-
2249
-
2250
-
2251
-
2252
Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Bra...
Published 2007Subjects: Unedited summary from book
Table of contents only
Publisher description
Conference Proceeding Book -
2253
Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...
Published 2006Subjects:Conference Proceeding eBook -
2254
-
2255
-
2256
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995Subjects:Book -
2257
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
Published 1994Subjects: “…Lógica matemática-Computación.…”
Book -
2258
-
2259
-
2260
XIV Congreso Interamericano de Filosofía
Published 1999Subjects:Electronic Conference Proceeding Software