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.

Proof procedures for multiple-valued propositional logics.

Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen […]

Buenaventura Verdu Solans, felip Mañá serres, Francesc Esteva Massaguer, Gonzalo Escalada Imaz, Jaume Agustí Cullell, Reiner Hahnle

Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo

Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal

Enciso Garcia Oliveros Manuel, Fariñas Del Cerro Luis, Francisco Triguero Ruiz, Inmaculada Perez De Guzman Molina, Jaume Agustí Cullell, José Muñoz Perez

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

Fernando Orejas Valdés, francesc Esteva messeguer, Jaume Agustí Cullell, Jordi Levy Diaz, Mario Rodríguez Artalejo, peter Mosses

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

De Frutos Escrig David, Francisco Javier Lopez Fraguas, Jaume Agustí Cullell, María Alpuente Frasnedo, Mario Rodríguez Artalejo, Robert Lukas Mario Nieuwenhuis

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

Enric Trillas, Jane Hasketh, Jaume Agustí Cullell, Josep Puyol Gruart, Ramón López De Mántaras Badía, Ton Sales