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 Year: 2012 Language: Español Repository: 37

Sort by Score Title Year -

3951-3960 from 6610 results (0.023 seconds)

Title: Computación paralela de queries expresados con circuitos booleanos
Author: Gagliardi, Edilma Olinda / Herrera, Norma Edith / Reyes, Nora Susana / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Relational databases / circuitos booleanos / Query processing / paralelismo / lógica de primer orden

Acceder
Title: Un intérprete de consultas a bases de datos expresadas mediante lógica de primer orden con clausura transitiva
Author: Reyes, Nora Susana / Grosso, Alejandro / Maldocena, Paulino / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Query languages / Relational databases / Predicate logic

Acceder
Title: Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo
Author: Reyes, Nora Susana / Grosso, Alejandro / Maldocena, Paulino / Turull Torres, José María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / cuantificadores de punto fijo / Query languages / Predicate logic

Acceder
Title: Aplicación del modelo Kubelka-Munk en la simulación de lápices de colores
Author: González, Adela / Zavala, Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / rendering no-fotorealístico / Graphics / Simulation / Kubelka-Munk / Texture / simulación de medios tradicionales

Acceder
Title: Un método para el cálculo de derivadas segundas
Author: Scolnik, Hugo Daniel / Gambini, María Juliana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Algorithms / Finite difference methods

Acceder
Title: Sobre la relaci
Author: Cecchi, Laura / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Nonmonotonic reasoning and belief revision

Acceder
Title: Un sistema de semi-revisión plausible : Análisis y desarrollo de propiedades
Author: Roger, Sandra / Parra, Gerardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Inteligencia Artificial / cambio de creencias / plausibilidad

Acceder
Title: Sobre la negación y la inferencia no monótona en la programación en lógica
Author: Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Knowledge Representation Formalisms and Methods / Languages

Acceder
Title: Una metodología para tratar el problema de la indecisión en un sisterna argumetativo abstracto
Author: Martínez, Diego C. / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / sistema argumentativo abstracto / semántica crédula

Acceder
Title: Un método de diseño de autómatas, guiado por invariantes
Author: Aguirre, Jorge / Arroyo, Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Automata (e.g., finite, push-down, resource-bounded) / Invariants / Corrections

Acceder

« Previous 392 393 394 395 396 397 398 399 400 Next »