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

Year: 2012 Year: 1997 Subject: -methylenation Document Type: Sin Especificar

Sort by Score Title Year -

51-60 from 117 results (0.013 seconds)

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: CAMILA formal software engineering supported by functional programming
Author: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Education and applications of functional programming / functional prototyping / program calculation / SOFTWARE ENGINEERING

Acceder
Title: Introducing Scheme in a FP-less environment
Author: Aerts, Kris / De Vlaminck, Karel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Environments / PROGRAMMING LANGUAGES / Introducing Scheme / FP-less Environment

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: Hierarchical N-body simulations in haskell
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Simulation / Hierarchical N-body simulations / haskell

Acceder

« Previous 2 3 4 5 6 7 8 9 10 Next »