1. Home
  2. Universitat Politècnica de Catalunya
  3. Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014)
  4. Recent submissions

Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014): Recent submissions

Now showing items 81-83 of 83

    Modelling rational inquiry in non-ideal agents 

    Moreno Ribas, Antonio (Date of defense: 2000-12-18)

    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 

    Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)

    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 

    Samos Jiménez, José (Date of defense: 1997-05-14)

    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 ...