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 […]
Tesis doctoral de Pablo Jose Cordero Ortega
Información academica Pablo Jose Cordero Ortega. Tesis donde Pablo Jose Cordero Ortega ha sido autor, director o parte del tribunal.
Una lógica modal par la geometría esférica de incidencia
Tesis doctoral de Alfonso Rider Moyano En esta memoria se introducen sistemas axiomáticos de tipo multimodal, para las geometrías planas
Conexiones de galois débiles y nd-operadores de cierre. razonamiento con ejemplos
Tesis doctoral de Rodríguez Sánchez Francisco Joaquin Analizando los trabajos existentes en la literatura sobre razonamiento automático basados en el