- 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
-
2501
Computational intelligence : theory and applications /
Published 1997Subjects:Conference Proceeding Book -
2502
-
2503
-
2504
Invariants for real-generated uniform topological and algebraic categories /
Published 1975Subjects:Book -
2505
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /
Published 1997Subjects:Conference Proceeding Book -
2506
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 -
2507
Rings and things and a fine array of twentieth century associative algebra /
Published 1999Subjects:Book -
2508
-
2509
-
2510
-
2511
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
2512
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 -
2513
-
2514
-
2515
-
2516
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /
Published 1997Subjects:Conference Proceeding Book -
2517
-
2518
-
2519
-
2520
Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos /
Published 2005Subjects:Thesis Book