- 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
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 -
2266
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 -
2267
-
2268
-
2269
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995Subjects:Book -
2270
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 -
2271
-
2272
-
2273
XIV Congreso Interamericano de Filosofía
Published 1999Subjects:Electronic Conference Proceeding Software -
2274
Galileo and the art of reasoning : rhetorical foundations of logic and scientific method /
Published 1980Subjects:Book -
2275
Lógica, verdad y creencia : algunas consideraciones sobre la relación Nietzsche-Spir /
Published 2001Subjects:Book -
2276
-
2277
-
2278
Methodological design for a land production potential model in an agricultural andean site
Published 2017Subjects: “…Análisis Locacional; SIG; Agricultura Prehispánica; Lógica Agrícola; Casas Quemadas…”
Get full text
Get full text
info:eu-repo/semantics/article -
2279
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Subjects:Conference Proceeding Book -
2280
caos[ex]música : estudio de conceptos relacionados con el caos, para la composición en música
Published 2021Subjects: Get full text
bachelorThesis