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 […]
Tesis doctoral de Luis María Laita De La Rica
Información academica Luis María Laita De La Rica. Tesis donde Luis María Laita De La Rica ha sido autor, director o parte del tribunal.
Bases para un planteamiento jerarquico de la logica aplicable a la representacion e interpretacion del conocimiento
Tesis doctoral de Hermida De La Rica María no Datos académicos de la tesis doctoral «Bases para un planteamiento
Introduccion intuitiva a la teoria semantica de los conectores binarios.
Tesis doctoral de Jose Rodriguez Martin Datos académicos de la tesis doctoral «Introduccion intuitiva a la teoria semantica de
Una extension de metodos algebraicos a la teoria de modelos
Tesis doctoral de Alejandro Fernandez Margarit La idea central de este trabajo consiste en la introduccion del concepto de cociente
Una propuesta de contribución a la mejora continua empresarial para un sistema de calidad mediante el uso de inteligencia artificial
Tesis doctoral de José Amelio Medina Merodio A lo largo de la tesis se plantea una propuesta de contribución a
Investigación deductiva, representación lógica e implementación computacional sobre las limitaciones de acción del autocuidado según el modelo de dorothea orem
Tesis doctoral de José María Santamaria Garcia El cuidado de las personas forma parte de la realidad. este hecho que,
Supervisión inteligente del proceso de mecanizado en una máquina-herramienta.
Tesis doctoral de Perez Ferreira Clodeinir Ronei En esta memoria se presenta una metodología para la supervisión inteligente del proceso
Automatización e implementacion de algunas tecnicas de almacenamiento de procesos en problemas geometricos y de clasificacion automatica.
Tesis doctoral de Martín Manuel Garbayo Moreno Desarrollo teorico y presentación metódica y exhaustiva de todos los casos de grupos
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
Un entorno aplicativo para agentes inteligentes en manufactura flexible
Tesis doctoral de Teresa Diez Folledo La tesis se inserta en la línea de trabajo que viene desarrollando el departamento