Entre la logica y el derecho:paradojas y conflictos normativos
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 sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
EquiValencia entre algunos sistemas complejos. automatas celulares, sistemas de lindermayer y fractales.
Tesis doctoral de Alfonso Ortega De La Puente Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de
Learnability of some efficient representation of boolean functions
Tesis doctoral de David Guijarro Guillen Datos académicos de la tesis doctoral «Learnability of some efficient representation of boolean
Induccion y recursion: las teorias i delta n+1(t)
Tesis doctoral de Francisco Félix Lara Martin En este trabajo se realiza un analisis de la conjetura de friedman-paris, acerca
Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales
Tesis doctoral de Alberto Gil Solla Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño
Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
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
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Modelos formales de explicacón en lógica e inteligencia artificial
Tesis doctoral de Fernando Soler Toscano La abducción es el tipo de razonamiento en que, dada una teoría t (habitualmente
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Sistema integrado de gestión logistica optimizada
Tesis doctoral de José Luis Risco Martin El modelo de problemas de optimización es un proceso complejo compuesto de múltiples