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
49
Logic Programming
19
ENGINEERING
11
ARTIFICIAL INTELLIGENCE
10
Informática
9
Intelligent agents
9
COMPUTATIONAL INTELLIGENCE
8
Logic programming
8
CURRY-HOWARD ISOMORPHISM
6
Data structures
6
ISOMORFISMO DE CURRY-HOWARD
6
Model checking
6
Specifications
6
argumentation
6
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
Multiagent systems
4
PROGRAMMING AND OPERATING SYSTEMS
4
RAZONAMIENTO
4
Reconfigurable hardware
4
SOFTWARE ENGINEERING
4
Software design
4
Software engineering
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 -
12por Stern, Nancy B.Materias: “...Flow charts programmed instruction....”
Publicado 1975
Aportado por: Bibliotecas (UNCuyo)Libro -
13Publicado 2016Materias: “...Application programs...”
-
14Materias: “...Application programs...”
CONF -
15
-
16por 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 -
17por 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 -
18por 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 -
19
-
20Publicado 2002Tabla de Contenidos: “...Standard logic as a model of reasoning : The empirical critique /...”
Aportado por: Biblioteca BIBHUMA (FAHCE-UNLP)Libro