Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del […]
Tesis doctoral de Fernando Orejas Valdés
Información academica Fernando Orejas Valdés. Tesis donde Fernando Orejas Valdés ha sido autor, director o parte del tribunal.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Soluciones formales al problema de la deteccion del interbloqueo.
Tesis doctoral de José Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de