Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014): Enviaments recents
Ara mostrant els elements 81-83 de 83
Modelling rational inquiry in non-ideal agents
de la tesi doctoral<br/><br/>L'objectiu principal del treball realitzat ha sigut el desenvolupar una manera de modelar el procés d'investigació racional (l'evolució de les creences d'un agent racional com a conseqüència ...
A type-theoretic approach to proof support for algebraic design frameworks
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...
Definition of external schemas and derived classes in object oriented databases
El principal objetivo de esta tesis es ampliar el estudio de los esquemas externos en BDOO, en particular, su proceso de definición. Una nueva metodología de definición de esquemas externos que simplifica considerablemente ...
