- 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
-
2341
-
2342
-
2343
Construcción de programas que manejan dinámicamente la memoria
Published 2016Subjects: Get full text
doctoralThesis -
2344
Computer aided verification : proceedindings /
Published 1997Subjects: “…Lógica y significado de programas.…”
Conference Proceeding Book -
2345
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
2346
Foundations of software technology and theoretical computer science /
Published 1996Subjects:Conference Proceeding Book -
2347
-
2348
-
2349
The temporal logic of reactive and concurrent systems /
Published 1992Subjects: Publisher description
Book -
2350
Représentation des connaissances et raisonnement dans les sciences de l'homme /
Published 1980Subjects:Book -
2351
-
2352
-
2353
-
2354
-
2355
Abordaje de situaciones de crisis y/o urgencias en salud mental desde el Enfoque de Derechos Humanos
Published 2024Subjects: Get full text
masterThesis -
2356
-
2357
Computer aided verification /
Published 1996Subjects: “…Lógica y significado de programas.…”
Conference Proceeding Book -
2358
Acompañante terapéutico: atravezamientos institucionales el servicio de salud mental en el contaxto de una pandemia
Published 2022Subjects: Get full text
Get full text
conferenceObject -
2359
El proceso de formalización semántica en la enseñanza del lenguaje de programación Python
Published 2024Subjects: Get full text
conferenceObject -
2360
Qom handicraft: livelyhood strategy in the city or bond of union and expresion of the collective community?
Published 2021Subjects: Get full text
Get full text
info:eu-repo/semantics/article