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 Subject: Lógica Repository: 37

Sort by Score Title Year -

1-7 from 7 results (0.011 seconds)

Title: Argumentos didácticos a favor de los Tableaux Semánticos
Author: Simari, Guillermo Ricardo / Stankevicius, Alejandro G.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Lógica / programa de enseñanza / tableaux semántico / cálculo proposicional

Acceder
Title: Justification Logic as a foundation for certifying mobile computation
Author: Bonelli, Eduardo / Feller, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Curry-de Bruijn-Howard isomorphism / Justification Logic / Mobile computation / Typed lambda calculus / Lógica

Acceder
Title: Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
Author: Paganini, José Humberto / Vega, Ariel / Figueroa, Sebastián Marcos / Liberatori, Héctor / Rodríguez, Juan C.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Raise / RSL / Lógica / Tríptico del software / Base de datos deductivas

Acceder
Title: Sistema de apoio ao ensino de lógica e algoritmo
Author: Souza, Eliane Moreira Sá de / Dazzi, Rudimar Luís Scaranto
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Educación / Tecnología Educacional / Algoritmos / Lógica

Acceder
Title: SISTLOG : Protótipo de um sistema para auxiliar a avaliação da disciplina de algoritmos
Author: Miranda, Elisangela Maschio de / Dazzi, Rudimar Luís Scaranto
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / informática / Algorithms / ARTIFICIAL INTELLIGENCE / Algoritmos / Inteligência Artificial / Lógica / Avaliação

Acceder
Title: Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
Author: Luna, Carlos Daniel / Falappa, Marcelo Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Lógica / Programación en Lógica / Languages / Inteligencia Artificial / Teoría de Cambio de Creencias / Bases de Conocimiento

Acceder
Title: Pensando al Filo | Año 4 | Número 5
Author: Liceo "Víctor Mercante"
Language: Español
Repository: 37
Subject: Filosofía / Lógica / Psicología

AccederDescargar

« Previous 1 Next »