Algebraic modeltheory for languages without equality.
Tesis doctoral de Raimon Elgueta Monto Datos académicos de la tesis doctoral «Algebraic modeltheory for languages without equality.« Título […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Una teoría para el desarrollo software construida mediante técnicas y modelos de gestión del conocimiento
Tesis doctoral de María Aurora Martínez Rey En esta tesis se muestra y demuestra, cómo la ecuación fundamental del conocimiento,
Contradicciones de inclusión. la estructura de las paradojas reflexivas y el problema de su solución.
Tesis doctoral de Jordi Valor Abad En este trabajo defiendo que las «paradojas de autorreferencia o reflexividad» (siguiendo el término
Strict-weak languages. an analysis of strict implicatión
Tesis doctoral de Félix Bou Moliner Esta tesis docotral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos
Lógica i fonaments: 1850-1920. un estudi comparatiu de les contribucions del corrent algébric i logicista a la lógica contemporÁ nia
Tesis doctoral de Joan Roselló Moya En nuestro trabajo hemos pretendido hacer un recorrido histórico por algunos de los principales
Aproximación metodológica formal para el diseño y desarrollo de sistemas interactivos basados en el estilo de manipulación directa
Tesis doctoral de Rodríguez Almendros M. Luisa Los sistemas interactivos están cada vez más orientados hacia la manipulación de la
Un modelo de integración evolutivo entre sistemas de información y sistemas de ayuda a la decisión
Tesis doctoral de María Visitacion Hurtado Torres En la actual «sociedad de la información», durante el proceso de automatización de
Projective forcing/ forcing projectiu
Tesis doctoral de Roger Bosch Bastardas En esta tesis se estudian los órdenes parciales proyectivos; esto es, los órdenes parciales
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de
Modelos predictivos basados en redes neuronales recurrentes de tiempo discreto
Tesis doctoral de Juan Antonio Pérez Ortiz Este trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de