Refine your Search
Author
Subject
Document Type
Your search
81-90 from 108 results
(0.014 seconds)
-
Title: Programación en lógica temporal basada en los operadores Since y UntilAuthor: Cobo, María Laura / Augusto, Juan CarlosLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Informática / Temporal logic / Logic Programming
-
Title: Optimización del orden de evaluación de programas recursivosAuthor: Luna, Carlos Daniel / Baum, Gabriel AlfredoLanguage: EspañolRepository: 37
-
Title: A runnable functional formal memetic algorithm frameworkAuthor: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda MarianaLanguage: InglésRepository: 37
-
Title: Un análisis estadístico del equilibrio de nash en juegos repetidos usando implementaciones computacionalesAuthor: Necco, Claudia Mónica / Quintas, Luis GuillermoLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Informática / Equilibrios de Nash / juego / Juegos Repetidos / Autómatas / Estrategias Dominadas
-
Title: Construcción y optimización de programas en Fork ÁlgebrasLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Informática / Optimization / Optimización de Programas / Fork Algebras
-
Title: Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógicaAuthor: Barbosa, Jorge L. V. / Geyer, Cláudio Fernando Resin / Castro, Luis Fernando Pias de / Azevedo, Silvana Campos deLanguage: PortuguésRepository: 37
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723