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

Repository: 37 Year: 2012 Year: 2000 Document Type: Sin Especificar

Sort by Score Title Year -

141-150 from 246 results (0.027 seconds)

Title: Computational implementation of indices of power
Author: Aguirre, Jesús Francisco / Oviedo, Jorge Amado / Quintas, Luis Guillermo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Scripting languages / Client/server / multi platform / cooperative games theory / computational implementation

Acceder
Title: lntroducing generalized specificity in logic programming
Author: Stolzenburg, Frieder / García, Alejandro Javier / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Knowledge Representation Formalisms and Methods / Logic Programming / Nonmonotonic reasoning and belief revision

Acceder
Title: Relating defeasible and normal logic programming through transformation properties
Author: Chesñevar, Carlos Iván / Dix, Jurgen / Stolzenburg, Frieder / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Nonmonotonic reasoning and belief revision

Acceder
Title: Formalizing relations between use cases in the unified modeling language
Author: Giandini, Roxana Silvia / Pons, Claudia / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Semantics / graphical modeling languages / use cases

Acceder
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: Towards a programming language based on Prior's metric temporal operators
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Database (persistent) programming languages / Real time

Acceder

« Previous 11 12 13 14 15 16 17 18 19 Next »