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

Query: MEANINGS OF PROGRAMS" Year: 2012 Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 256 results (0.017 seconds)

Title: Entrelíneas de la Política Económica | Año 6 | Número 34
Author: Centro de Investigación en Economía Política y Comunicación
Language: Español
Repository: 37
Subject: Ciencias Económicas / Política

AccederDescargar
Title: Translating fork specification into logic programs
Author: Baum, Gabriel Alfredo / Frias, Marcelo F. / Aguirre, Nazareno Matías / Arroyo, Marcelo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Translating fork specification / logic programs / Logic Programming

Acceder
Title: Using logic programs to model an agent's epistemic state
Author: Capobianco, Marcela / Chesñevar, Carlos Iván
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Logic Programs / Agent's Epistemic State

Acceder
Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

Acceder
Title: Negation in logic programs: is it necessary two connectives?
Author: Fillottrani, Pablo Rubén / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Logic Programming / Nonmonotic reasoning / Negation / Negation as failure

Acceder
Title: Dynamic tuning of parallel programs
Author: Morajko, Anna / Margalef, Tomás / Luque Fadón, Emilio / Espinosa, Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Performance / Parallel

Acceder
Title: Representing parallel programs with MPI by exploiting a graph-based approach
Author: Sato, Liria Matsumoto / Ching, Li Kuan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / graph theory applications / parallel program representation / Parallel programming / Distributed Systems / Concurrent Programming

Acceder
Title: Translating a subset of english to defeasible logic programs
Author: García, Alejandro Javier / Dragunsky, César V.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Inteligencia Artificial / Procesamiento de Lenguaje Natural

Acceder
Title: JBLIF, a tool for non-interference analysis of java and java bytecode programs
Author: Cavadini, Salvador V.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / SOFTWARE ENGINEERING / Information flow controls / Security / information flow control / non-interference

Acceder
Title: An abstract machine for the execution of DeLP programs
Author: Stankevicius, Alejandro G. / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / knowledge representation and reasoning / defeasible argumentation / abstract machines / ARTIFICIAL INTELLIGENCE / Intelligent agents

Acceder

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