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
(256)
62
(57)
43
(55)
53
(53)
34
(21)
21
(9)
28
(7)
18
(6)
40
(6)
65
(5)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(14)
Luque Fadón, Emilio
(7)
Tinetti, Fernando Gustavo
(7)
García, Alejandro Javier
(6)
De Giusti, Armando Eduardo
(5)
Fillottrani, Pablo Rubén
(5)
Icf
(5)
Baum, Gabriel Alfredo
(4)
Chesñevar, Carlos Iván
(4)
Gallard, Raúl Hector
(4)
Show More
Show Less
Subject
Ciencias Informáticas
(199)
Educación
(37)
SOFTWARE ENGINEERING
(23)
ARTIFICIAL INTELLIGENCE
(20)
Humanidades
(16)
Computer Uses in Education
(14)
Sociología
(14)
Informática
(13)
Intelligent agents
(13)
Distributed Systems
(12)
Show More
Show Less
Year
2012
(490)
2013
(76)
2006
(32)
2011
(29)
2019
(23)
2018
(22)
2005
(20)
2014
(18)
2007
(17)
2008
(15)
Show More
Show Less
Document Type
Sin Especificar
(490)
Show More
Show Less
Language
Español
(368)
Inglés
(88)
Portugués
(24)
Desconocido
(7)
Catalán
(3)
Show More
Show Less
Your search
Query:
MEANINGS OF PROGRAMS"
Year:
2012
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
1-10 from
490
results
(0.038 seconds)
Title:
Resolución(es) de la #34
Author:
Icf
Language:
Español
Repository:
28
Subject:
RESOLUCIONES
/
ICF
/
CONSEJO
/
DIRECTIVO
Acceder
Title:
Resolución(es) de la #34 a la #41
Author:
Icf
Language:
Español
Repository:
28
Subject:
RESOLUCIONES
/
ICF
/
CONSEJO
/
DIRECTIVO
Acceder
Title:
Resolución(es) de la #27 a la #34
Author:
Icf
Language:
Español
Repository:
28
Subject:
RESOLUCIONES
/
ICF
/
CONSEJO
/
DIRECTIVO
Acceder
Title:
Resolución(es) de la #34
Author:
Icf
Language:
Español
Repository:
28
Subject:
RESOLUCIONES
/
ICF
/
CONSEJO
/
DIRECTIVO
Acceder
Title:
ROPES eye plaque brachytherapy dosimetry for two models of (103)Pd seeds (vol 34, pg 223, 2011)
Author:
Saidi, P.
/
Sadeghi, M.
/
Shirazi, A.
/
Tenreiro, C.
Language:
Inglés
Repository:
27
Acceder
Title:
Entrelíneas de la Política Económica | Año 6 | Número 34
Author:
Centro de Investigación en Economía Política y Comunicación
Language:
Español
Repository:
37
Subject:
Ciencias Económicas
/
Política
Acceder
Descargar
Title:
Translating fork specification into logic programs
Author:
Baum, Gabriel Alfredo
/
Frias, Marcelo F.
/
Aguirre, Nazareno Matías
/
Arroyo, Marcelo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Translating fork specification
/
logic programs
/
Logic Programming
Acceder
Title:
Using logic programs to model an agent's epistemic state
Author:
Capobianco, Marcela
/
Chesñevar, Carlos Iván
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
ARTIFICIAL INTELLIGENCE
/
Logic Programs
/
Agent's Epistemic State
Acceder
Title:
The B method as an environment for the verification of eiffel programs: a case study
Author:
Aguirre, Nazareno Matías
/
Oviedo, Juan
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
ARTIFICIAL INTELLIGENCE
/
Intelligent agents
/
Object orientation
/
Program Verification
/
B Method
Acceder
Title:
Negation in logic programs: is it necessary two connectives?
Author:
Fillottrani, Pablo Rubén
/
Simari, Guillermo Ricardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
Logic Programming
/
Nonmonotic reasoning
/
Negation
/
Negation as failure
Acceder
« Previous
1
2
3
4
5
6
7
8
9
Next »