Refine your Search
Author
Subject
Year
Document Type
31-40 from 102 results
(0.011 seconds)
-
Title: Avances en Proof-Carrying CodeAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: EspañolRepository: 37
-
Title: Depuración orientada a código fuente de programas Prolog basada en EclipseAuthor: Vanrell, Juan Ángel / Vaucheret, Claudio A.Language: EspañolRepository: 37
-
Title: Lenguaje de consulta basado en conocimiento para la selección de técnicas estadísticas y de data miningAuthor: Nigro, Oscar / Xodo, Daniel / Zelasco, José F.Language: EspañolRepository: 37
-
Title: Revisando bases modales temporalesAuthor: Cobo, María Laura / Falappa, Marcelo AlejandroLanguage: EspañolRepository: 37
-
Title: Análisis modular y recuperación de contraejemplos en TACOLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software/Program Verification / Languages
-
Title: Grupo de procesadores de lenguajes. : Línea: reformulación de la presentación de la teoría de lenguajes formales y autómatas.Author: Aguirre, Jorge / Arroyo, Marcelo / Bavera, FranciscoLanguage: EspañolRepository: 37
-
Title: Análisis e implementación del lenguaje AgentSpeak(L) para agentes inteligentes con arquitectura BDIAuthor: García, Alejandro Javier / Giusti, SantiagoLanguage: EspañolRepository: 37
-
Title: Revisión temporal: algunos postuladosAuthor: Cobo, María Laura / Falappa, Marcelo AlejandroLanguage: EspañolRepository: 37
-
Title: Grupo de procesadores de lenguajes : Linea: Entorno de generación de procesadores de lenguajesAuthor: Mussolini, Johanna / Kilmurray, Cecilia / Aguirre, Jorge / Arroyo, MarceloLanguage: EspañolRepository: 37
-
Title: Framework comparativo de lenguajes de representación de ontologíasAuthor: Tagni, Gastón / Roger, SandraLanguage: EspañolRepository: 37
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723