Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.
Tesis doctoral de Anselmo Romaniega Langa Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una […]
Información academica Manuel Alfonseca Moreno. Tesis donde Manuel Alfonseca Moreno ha sido autor, director o parte del tribunal.
Tesis doctoral de Anselmo Romaniega Langa Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una […]
Tesis doctoral de Marta Nieves Gomez Perez Resumen la investigación realizada en esta tesis se enmarca en el campo de
Tesis doctoral de Alfonso Ortega De La Puente Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de
Tesis doctoral de Leila Shila Shafti Los datos de problemas reales normalmente se han preparado para fines distintos a la
Tesis doctoral de Carlos Perales Graván Petri, abreviatura de programming evolution through reiterated infection, es el nombre de un algoritmo
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
Tesis doctoral de Antonio Hernando Esteban La tesis presenta un programa que simula ciertos cambios de representación y la perspicacia
Tesis doctoral de Esther Guerra Sanchez Los lenguajes visuales de dominio especifico (lvdes) se utilizan con frecuencia para el análisis
Tesis doctoral de Manuel Cebrián Ramos Esta tesis presenta contribuciones teóricas y prácticas de la teoría de información algorítmica y
Tesis doctoral de Ibrahim Rashed Abu Dalhoum Abdel Latif La informática teórica es una disciplina básica en informática ya que