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 […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen […]
Tesis doctoral de Joan Antoni Pastor Collado Datos académicos de la tesis doctoral «Automatic synthesis of update transaction programs
Tesis doctoral de Victor Gimenez Martinez El objetivo fundamental del presente trabajo es explorar nuevas tecnicas de implementacion, basadas en
Tesis doctoral de Auñon Lopez Juan Manuel Conocer una variable ligada a procesos naturales, a partir de informacion discreta de
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Tesis doctoral de Carrasco Jimenez Rafael Carlos Se presentan una serie de algoritmos que permiten la identificacion eficiente de lenguajes
Tesis doctoral de Manuel Lozano Marquez La memoria aborda la aplicacion de tecnicas basadas en logica difusa para diseñar algoritmos
Tesis doctoral de Alfredo Santiago Alguero Garcia Dado un conjunto de reglas aprendidas a partir de una familia de ejemplos
Tesis doctoral de Diaz Fernandez M. Elena Se ha desarrollado un metodo generico para la estimacion de movimiento en secuencias
Tesis doctoral de Montserrat Martín Baranera El objetivo general es el de desarrollar una metodología de validacion de opiniones diagnosticas