Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Tesis doctoral de Miguel Angel Domínguez Gómez Hoy en dia existe en el mercado un gran numero de protocolos en
Tesis doctoral de Javier Diaz Bada La investigación de la presente tesis se centra en los problemas suscitados en torno
Tesis doctoral de Jose Ausin Diez Este es un trabajo de lógica deóntica jurídica, es decir, un análisis de las
Tesis doctoral de Alfonso Ortega De La Puente Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de
Tesis doctoral de David Guijarro Guillen Datos académicos de la tesis doctoral «Learnability of some efficient representation of boolean
Tesis doctoral de Francisco Félix Lara Martin En este trabajo se realiza un analisis de la conjetura de friedman-paris, acerca
Tesis doctoral de Alberto Gil Solla Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño
Tesis doctoral de Jose Martínez Fernández El trabajo es una contribución al proyecto del diseño y la justificación de teorías
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza