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

Subject: A* Year: 1997 Document Type: Sin Especificar Repository: 37

Sort by Score Title Year -

31-40 from 55 results (0.074 seconds)

Title: Contracción de creencias de sistemas no monótonos
Author: Vaucheret, Claudio A. / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Conocimiento / Contracción de creencias / sistemas no monótonos

Acceder
Title: Weak properties of circumscriptive logic programming
Author: Fillottrani, Pablo Rubén / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Logic Programming / Weak properties / circumscriptive logic programming

Acceder
Title: A randomized algorithm for solving the satisfiability problem
Author: Cecchi, Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Algorithms / complete problems / NP / Satisfiability problem

Acceder
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: Padronização POSIX x sistemas operacionais de tempo-real: uma análise comparativa
Author: Corrêa, Edgard de Faria / Friedrich, Luis Fernando
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Real time / Padronização POSIX / Sistemas Operacionais de Tempo-Real / Uma Análise Comparativa

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: An application of a theorem prover
Author: Campos, M. / Lins, R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Applications / Application / Theorem Prover

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

« Previous 1 2 3 4 5 6 Next »