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: Semantics of Programming Languages Repository: 37 Year: 2011 Language: Español

Sort by Score Title Year -

11-13 from 13 results (0.012 seconds)

Title: El marcado de un árbol dialéctico en DeLP es pspace-completo
Author: Cecchi, Laura / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Semantics / sistemas argumentativos / razonamiento rebatible / complejidad

Acceder
Title: Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author: Amaolo, Marcelo Paulo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / empresa / Languages / conocimiento / tecnologías semánticas / lenguajes de ontologías / especificación OMG SBVR

Acceder
Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder

« Previous 1 2 Next »