- LOGICA 1,151
- Lógica matemática 467
- FILOSOFIA 457
- LOGICA MATEMATICA 205
- Mathematical logic 191
- Lógica 129
- CIENCIAS SOCIALES 99
- METAFISICA 92
- Lógica y significado de programas 90
- EPISTEMOLOGIA 87
- Logics and meanings of programs 84
- Lenguajes formales 81
- DERECHO 80
- Formal languages 79
- FILOSOFIA DEL DERECHO 72
- LOGICA SIMBOLICA 71
- TEORIA DEL CONOCIMIENTO 71
- FILOSOFIA DE LA CIENCIA 67
- FILOSOFIA DEL LENGUAJE 56
- ETICA 55
- LOGICA SIMBOLICA Y MATEMATICA 55
- MATEMATICAS 54
- 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
-
2261
-
2262
-
2263
-
2264
-
2265
-
2266
-
2267
-
2268
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 -
2269
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 -
2270
-
2271
-
2272
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995Subjects:Book -
2273
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 -
2274
-
2275
-
2276
XIV Congreso Interamericano de Filosofía
Published 1999Subjects:Electronic Conference Proceeding Software -
2277
Galileo and the art of reasoning : rhetorical foundations of logic and scientific method /
Published 1980Subjects:Book -
2278
Lógica, verdad y creencia : algunas consideraciones sobre la relación Nietzsche-Spir /
Published 2001Subjects:Book -
2279
-
2280