OPAC

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

Your search

Document Type: Sin Especificar Language: Español Year: 1997 Year: 2012

Sort by Score Title Year -

41-50 from 75 results (0.025 seconds)

Title: Un compilador para la programación en lógica rebatible
Author: García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / lógica rebatible / compilador para la programación

Acceder
Title: Formas argumentales: un acercamiento a la argumentación rebatible con información no básica
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / información / Inteligencial artificial / razonamiento rebatible / sistemas argumentativos

Acceder
Title: T-Splines: Interpolación de curvas C2 continua
Author: Silvetti, Andrea / Delrieux, Claudio / Castro, Silvia Mabel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / T-Splines / curvas C2

Acceder
Title: Expresando hypermedia en programación funcional
Author: Marcos, Daniel H. / Martínez López, Pablo E. / Risi, Walter A. / Gallego Sagastume, Ignacio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Hypertext/Hypermedia / Hypermedia / Programación funcional

Acceder
Title: Análisis asintótico amortizado en lenguajes funcionales perezosos
Author: Gonzalía, Carlos José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Análisis asintótico amortizado / lenguajes funcionales perezosos

Acceder
Title: Implementación en Haskell de un algoritmo general para resolución de ecuaciones por métodos iterativos
Author: Caffa, Angel / Rosa, Sylvia da
Language: Español
Repository: 37
Subject: Ciencias Informáticas / lenguajes de programación / Languages / lenguajes funcionales perezosos / Algorithms / métodos numéricos / ecuaciones no lineales / sistemas de ecuaciones lineales

Acceder
Title: Implementación de un model checker para lógicas modales en Haskell
Author: Cardoso, Marco A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / progamación funcional / lógica modal / model cheking

Acceder
Title: Mecanismos de sincronización en programación funcional concurrente
Author: Blanco, Javier / Martínez López, Pablo E. / Mocciola, Pablo Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Concurrent Programming / Programación funcional / Programación concurrente / Concurrent Haskell / Semáforos

Acceder
Title: HARMONY: Sistema funcional de ayuda a la composición musical
Author: Cueva Lovelle, Juan Manuel / Labra Gayo, Jose Emilio / Oliveira Rodríguez, Luis Ángel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / música / HARMONY / Composición musical / Sistema funcional de ayuda

Acceder
Title: Fundamentos de análisis de datos cualitativos para el desarrollo de software para Ciencias Sociales
Author: Rodríguez, Pablo Gustavo
Language: Español
Repository: 37
Subject: Ciencias Naturales / Antropología / codificación / Ciencias Sociales / metodología cualitativa / Análisis Cualitativo / software de análisis cualitativo / teoría fundada

AccederAcceder

« Previous 1 2 3 4 5 6 7 8 Next »