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
13
Logic Programming
5
ALGEBRAS DE FORK
3
CALCULO LAMBDA
3
COMBINATORY LOGIC
3
CURRY-HOWARD ISOMORPHISM
3
ESPECIFICACIONES HETEROGENEAS
3
FORK ALGEBRA
3
HETEROGENEOUS SPECIFICATIONS
3
INSTITUCIONES
3
INSTITUTIONS
3
ISOMORFISMO DE CURRY-HOWARD
3
LAMBDA CALCULUS
3
LOGIC OF PROOFS
3
LOGICA COMBINATORIA
3
LOGICA DE PRUEBAS
3
LOGICA MODAL
3
METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION
3
MODAL LOGIC
3
PATRONES
3
PATTERNS
3
RELATIONAL METHODS IN COMPUTER SCIENCE
3
Complejidad
2
Informática
2
Logic and constraint programming
2
Logic programming
2
Object-oriented Programming
2
argumentación rebatible
2
inteligencia artificial
2
ontologías
2
-
1
-
2por Aybar Rosales, Vanessa del CarmenMaterias: “...Logic Programming...”
Publicado 2012
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
3Materias: “...Logic and constraint programming...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Delle Donne, Diego, Di Pasquale, Ricardo, Durand, Guillermo, Marenco, Javier, Mydlarz, Marcelo, Pustilnik, MartínMaterias: “...Logic and constraint programming...”
Publicado 2016
Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
6por Delladio, TelmaMaterias: “...Logic Programming...”
Publicado 2000
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7por Facultad de Ingeniería y Tecnología InformáticaMaterias: “...logic...”
Publicado 2015
Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
8Cambio de creencias múltiples en sistemas argumentativos aplicado para programación lógica rebatiblepor Pedraza, Luis Gustavo, Andrada, Oscar, Valdez, Néstor Jorge, Teseira, Mario Guido SergioMaterias: “...Logic programming...”
Publicado 2016
Aportado por: SEDICI (UNLP)Objeto de conferencia -
9por Gómez, Sergio AlejandroMaterias: “...defeasible logic programming...”
Publicado 2009
tesis doctoral -
10
-
11por Carnevale, Federico J.Materias: “...Mathematical logic...”
Publicado 2010
Tesis NonPeerReviewed -
12
-
13por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
14
-
15
-
16por Tocci, Ronald J.Tabla de Contenidos: “... compilación limitada del lenguaje compilador PAL Expert CUPL de Logical. Circuitos del texto manejados en os...”
Publicado 2003
Aportado por: Sistema de Bibliotecas UCESLibro -
17
-
18por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
19por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
20por Parrotta, Agustín“... participantes. En el presente trabajo se desarrollo una aplicación descentralizada para facilitar el manejo de...”
Publicado 2019
Tesis NonPeerReviewed