Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
176
LOGIC
106
Formal logic
66
Logic Programming
65
Semantics
51
LOGIC, SYMBOLIC AND MATHEMATICAL
46
Modal logic
41
Logic
39
Lógica
34
PHILOSOPHY
33
Fuzzy logic
31
Computer circuits
28
METHODOLOGY
28
Informática
25
Software engineering
24
Algorithms
21
Logic programming
21
Algebra
20
LÓGICA
20
Specifications
20
Intelligent agents
19
Temporal logic
18
Theory of computation
18
ARTIFICIAL INTELLIGENCE
17
Computational complexity
17
Modal logics
17
Calculations
16
Expressive power
16
KNOWLEDGE, THEORY OF
16
Model checking
16
-
41
-
42
-
43
-
44por Tajer, DiegoMaterias: “...logical pluralism...”
Publicado 2012
Aportado por: Cuadernos de FilosofíaArtículo revista -
45Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
46por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
47por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
48por Echave, Delia TeresaMaterias: “...Logic....”
Publicado 1980
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
49por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
50por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
51
-
52
-
53
-
54por Turull Torres, José MaríaMaterias: “...third order logic...”
Publicado 2015
Aportado por: SEDICI (UNLP)Articulo -
55
-
56
-
57por Montenegro, Juan PabloMaterias: “...Logics...”
Publicado 2008
Aportado por: Memoria Académica - FaHCE (UNLP)Documento de conferencia acceptedVersion -
58Materias: “...temporal logic; logic programming; temporal logic programming...”
Aportado por: SEDICI (UNLP)Articulo -
59por Rovelli, Laura InésMaterias: “...Institutional logics...”
Publicado 2015
Aportado por: SEDICI (UNLP)Articulo -
60por Gopar, AnalíaMaterias: “...Territorial logics...”
Publicado 2019
Aportado por: Biblioteca Virtual - Tesis (UNL)Tesis de maestría acceptedVersion SNRD