- LOGICA 1,147
- Lógica matemática 467
- FILOSOFIA 454
- LOGICA MATEMATICA 206
- Mathematical logic 191
- Lógica 123
- 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
-
2481
-
2482
Invariants for real-generated uniform topological and algebraic categories /
Published 1975Subjects:Book -
2483
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /
Published 1997Subjects:Conference Proceeding Book -
2484
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas
Published 2019Subjects: “…Constricción y programación lógica…”
Get full text
bachelorThesis -
2485
Rings and things and a fine array of twentieth century associative algebra /
Published 1999Subjects:Book -
2486
-
2487
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
2488
Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 /
Published 1982Subjects:Conference Proceeding Book -
2489
-
2490
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /
Published 1997Subjects:Conference Proceeding Book -
2491
-
2492
-
2493
-
2494
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos /
Published 2005Subjects:Thesis Book -
2495
-
2496
International conference on algebra /
Published 1992Subjects: “…Lógica matemática.…”
Conference Proceeding Book -
2497
-
2498
El virus de la precaridad ¿un interlocutor en la construcción de políticas de salud mental?
Published 2021Subjects: Get full text
Get full text
publishedVersion -
2499
Congreso Internacional Extraordinario de Filosofía ( : 1987 : Córdoba).
Published 1988Subjects:Conference Proceeding Book -
2500