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
35
ENGINEERING
11
Logic Programming
11
ARTIFICIAL INTELLIGENCE
9
COMPUTATIONAL INTELLIGENCE
8
Intelligent agents
8
CURRY-HOWARD ISOMORPHISM
6
Data structures
6
ISOMORFISMO DE CURRY-HOWARD
6
Logic programming
6
Model checking
6
Specifications
6
argumentation
6
Informática
5
Semantics
5
Application programs
4
Automated support
4
Case studies
4
Computer programming languages
4
Engineering education
4
Formal logic
4
Frameworks
4
INTELIGENCIA ARTIFICIAL
4
PROGRAMMING AND OPERATING SYSTEMS
4
RAZONAMIENTO
4
Reconfigurable hardware
4
SOFTWARE ENGINEERING
4
Software design
4
Software engineering
4
Topology
4
-
1
-
2Publicado 2005Materias: “...Logic Programming Gödel Logic...”
-
3Materias: “...Logic Programming Gödel Logic...”
CONF -
4
-
5por Sapino, Maximiliano, Ferretti, Edgardo, Mariñelarena Dondena, Luciana, Errecalde, Marcelo LuisMaterias: “...Defeasible logic programming...”
Publicado 2020
Aportado por: SEDICI (UNLP)Objeto de conferencia -
6por Fillottrani, Pablo RubénMaterias: “...logic programming applications...”
Publicado 2002
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7
-
8por Gómez, Sergio AlejandroMaterias: “...Observation-based Defeasible Logic Programming...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
9
-
10
-
11por Budán, Maximiliano Celmo David, Gómez Lucero, Mauro Javier, Simari, Guillermo RicardoMaterias: “...Defeasible Logic Programming...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
12Publicado 2016Materias: “...Application programs...”
-
13Materias: “...Application programs...”
CONF -
14
-
15por Simchi-Levi, DavidTabla de Contenidos: “... Analysis. Mathematical Programming Based Bounds -- Economic Lot Size Models with Constant Demands. Economic...”
Publicado 2005
Aportado por: Bibliotecas (UNLPam)Libro -
16por Ebbinghaus, Heinz-Dieter, 1939-Tabla de Contenidos: “.... Limitation of the formal method. Free models and logic programming. An algebraic characterization...”
Publicado 1994
Aportado por: Bibliotecas (UNLPam)Libro -
17
-
18Publicado 2002Tabla de Contenidos: “...Standard logic as a model of reasoning : The empirical critique /...”
Aportado por: Biblioteca BIBHUMA (FAHCE-UNLP)Libro -
19Materias: “...Logic and constraint programming...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
20