A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(114)
34
(89)
21
(36)
73
(30)
22
(13)
62
(11)
53
(10)
65
(8)
27
(3)
28
(3)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(12)
Fillottrani, Pablo Rubén
(5)
Luque Fadón, Emilio
(5)
Cárdenas Campo, Juan Camilo
(4)
Gallard, Raúl Hector
(4)
García Jaramillo, Sandra
(4)
García, Alejandro Javier
(4)
Gómez Zermeño, Marcela Georgina
(4)
Portuguez Castro, May
(4)
Ramírez Montoya, María Soledad
(4)
Show More
Show Less
Subject
Ciencias Informáticas
(97)
ARTIFICIAL INTELLIGENCE
(14)
Educación
(14)
Administración y Contabilidad
(13)
Education
(12)
Tecnología / Technology
(11)
Ciencias Sociales / Social Sciences
(9)
Ingeniería
(8)
Intelligent agents
(8)
Logic Programming
(8)
Show More
Show Less
Year
2012
(88)
2019
(64)
2018
(60)
2015
(52)
2016
(30)
2017
(30)
2006
(29)
2010
(29)
2020
(29)
2014
(24)
Show More
Show Less
Document Type
Sin Especificar
(326)
Show More
Show Less
Language
Inglés
(326)
Show More
Show Less
Your search
Query:
MEANINGS OF PROGRAMS"
Document Type:
Sin Especificar
Language:
Inglés
Sort by
Score
Title
Year
-
21-30 from
326
results
(0.048 seconds)
Title:
Translating a subset of english to defeasible logic programs
Author:
García, Alejandro Javier
/
Dragunsky, César V.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Inteligencia Artificial
/
Procesamiento de Lenguaje Natural
Acceder
Title:
A methodological proposal to define supplier development programs
Language:
Inglés
Repository:
34
Subject:
Ingeniería
/
Supplier development
/
competitiveness
/
international sourcing
/
Fuzzy AHP
/
MDS
/
Goal Programing
Acceder
Acceder
Title:
Reasoning about functional programs by combining interactive and automatic proofs
Language:
Inglés
Repository:
65
Subject:
Demostración automática de teoremas
/
Demostración interactiva de teoremas
/
Evaluación perezosa
/
Teoría de tipos
/
Lenguajes totales
/
Recursión general
/
Teorías de primer orden
/
Verificación de programas funcionales
/
Automatic proofs
/
First-order theories
/
Functional program correctness
/
General recursion
/
Interactive proofs
/
Lazy evaluation
/
Total languages
/
Type theory
Acceder
Title:
Estimating the effect of CONAFE's compensatory programs on school achievement
Language:
Inglés
Repository:
34
Subject:
Consejo Nacional de Fomento Educativo--Planes de estudio--Evaluación
/
Educación compensatoria--Evaluación--México
/
Rendimiento académico--Evaluación--México
/
5 CIENCIAS SOCIALES
Acceder
Title:
A discrete event simulation model to estimate the number of participants in the ciclovia programs
Author:
Murcia Pabón, Melisa
Language:
Inglés
Repository:
21
Subject:
Sistemas de tiempo discreto
/
Simulación por computadores
/
Ciclovías - Investigaciones
Acceder
Title:
1# Expressive - a language for text register programs
Author:
Cerón Uribe, Santiago
Language:
Inglés
Repository:
21
Subject:
Lenguajes de dominio específico - Investigaciones
/
Software de código abierto - Investigaciones
/
Lenguajes de programación (Computadores electrónicos) - Investigaciones
Acceder
Title:
Community participation and communication processes in the implementation of programs of resettlement of families within the context of urban development in the city of Barranquilla
Author:
Marta Hernández
/
Departamento de Salud de la Ciudad de New York
/
Laura Cardona-Muñoz
/
Universidad Tecnológica de Bolívar
/
Liliana Celis Zapata
/
Universidad del Norte
/
Jesús Iglesias-Acosta
/
Universidad Libre
/
Sandra Meléndez-Labrador
/
Magda Ospina Guzmán
/
Vicente Otero Chate
/
Consejo Regional Indígena del Cauca - CRIC
/
Laura Posso Menco
/
Kell Pozo García
/
Alana Roa Narváez
/
Rosa Rodríguez Ortiz
/
Ejército Nacional
/
Martha Romero-Moreno
/
Universidad Autónoma del Caribe
/
Elizabeth Vargas-Rosero
/
Universidad Nacional de Colombia
/
Carmen Viveros Celín
/
Joanne Hernández Olmos
/
New York State
Language:
Inglés
Repository:
22
Subject:
communication
/
community participation
/
family relocation
/
communication plan.
Acceder
Acceder
Title:
An abstract machine for the execution of DeLP programs
Author:
Stankevicius, Alejandro G.
/
García, Alejandro Javier
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
knowledge representation and reasoning
/
defeasible argumentation
/
abstract machines
/
ARTIFICIAL INTELLIGENCE
/
Intelligent agents
Acceder
Title:
A knowledge-based information system for managing research programs and value creation in a university environment
Author:
Cantu, Francisco J
/
Ceballos, Hector G
/
Mora, Silvia P
/
Escoffié, Miguel A
Language:
Inglés
Repository:
34
Subject:
Science
/
Corporate memory
/
Knowledge-based systems
/
Ontologies
/
Estados Unidos de América / United States
Acceder
Title:
Profiling and Analysis of Irregular Memory Accesses of Memory-Intensive Embedded Programs-Edición Única
Language:
Inglés
Repository:
34
Subject:
Area::INGENIERÍA Y TECNOLOGÍA::CIENCIAS TECNOLÓGICAS::TECNOLOGÍA DE LOS ORDENADORES::DISPOSITIVOS DE ALMACENAMIENTO
Acceder
« Previous
1
2
3
4
5
6
7
8
9
Next »