The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification […]
Tesis doctoral de Jaume Agustí Cullell
Información academica Jaume Agustí Cullell. Tesis donde Jaume Agustí Cullell ha sido autor, director o parte del tribunal.
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Modularization, uncertainty, reflective control and deduction by specialization in milord ii, a language for knowledge-based systems.
Tesis doctoral de Josep Puyol Gruart Milord ii es un lenguaje para el desarrollo de sistemas expertos. En particular para
La vaguedad: hacia un estudio critico de algunos aspectos formales y de gestion.
Tesis doctoral de Alejandro Sobrino Cerdeiriña Datos académicos de la tesis doctoral «La vaguedad: hacia un estudio critico de
Milord: arquitectura multi-nivell per a sistemes experts en classificacio
Tesis doctoral de José Carlos Sierra García Datos académicos de la tesis doctoral «Milord: arquitectura multi-nivell per a sistemes