On the complexity of propositional proof systems
Tesis doctoral de Nicola Galesi Datos académicos de la tesis doctoral «On the complexity of propositional proof systems« Título […]
Tesis doctoral sobre Software
Accede a todas las tesis doctorales sobre Software mas relevantes.
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Consistencia y sensibilidad en la determinacion del tamaño funcional de productos software. metodo por componentes normalizado y extendido.
Tesis doctoral de Ramon Asensio Monge El análisis de puntos función fpa de a.J. Albrecht es un mí§étodo para la
Data structures and algorithms for automated deduction with equality
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated
On specifyng and reasoning with special relations.
Tesis doctoral de Wernher Marco Schorlemmer Datos académicos de la tesis doctoral «On specifyng and reasoning with special relations.«
Concept learning: theory, applications ans related problems.
Tesis doctoral de Carlos Domingo Soriano Datos académicos de la tesis doctoral «Concept learning: theory, applications ans related problems.«
On parallel versus sequential approximability: complexity and approximation results.
Tesis doctoral de Fatos Xhafa Datos académicos de la tesis doctoral «On parallel versus sequential approximability: complexity and approximation
An algebraic study of modularity in logic programming.
Tesis doctoral de Elvira Pino Blanco Datos académicos de la tesis doctoral «An algebraic study of modularity in logic
Modelo de referencia para entornos de ingenieria de software.
Tesis doctoral de Vicente Hurtado Juan Carlos De La tesis aporta, dentro del área de modelado del conocimiento, la formalización