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: PROGRAM Repository: 37 Year: 2009 Year: 2012

Sort by Score Title Year -

1-2 from 2 results (0.016 seconds)

Title: Towards scaling up DynAlloy analysis using predicate abstraction
Author: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Automation / Program analysis

Acceder
Title: Integration of rules and ontologies with defeasible logic programming
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Web-based services / ontologies / Semantic Web

Acceder

« Previous 1 Next »