Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como […]
Tesis doctoral de María Alpuente Frasnedo
Información academica María Alpuente Frasnedo. Tesis donde María Alpuente Frasnedo ha sido autor, director o parte del tribunal.
Un metodo de planificacion basado en la actualizacion de vistas en bases de datos deductivas.
Tesis doctoral de Dolors Costal Costa El problema de la planificacion en inteligencia artificial puede ser abordado tomando conceptos y
Clp (temp): integracion de restricciones temporales metricas y simbolicas en el marco clp.
Tesis doctoral de Ibañez Buscemi Francisco Salvador En este trabajo se ha propuesto una herramienta temporal que permite expresar puntos
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
Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica