Tesis doctoral de Joaquin Borrego Diaz

Información academica Joaquin Borrego Diaz. Tesis donde Joaquin Borrego Diaz ha sido autor, director o parte del tribunal.

Razonamiento mereotopológico automatizado para la depuración de ontologías

Tesis doctoral de Chávez González Antonia María La memoria se enmarca dentro del campo de la verificación de bases de […]

Chávez González Antonia María, Inmaculada Perez De Guzman Molina, Joaquin Borrego Diaz, José Muñoz Perez, Luis Ledesma otamendi, Luis María Laita De La Rica

Teoría computacional (en acl2) sobre cálculos proposicionales

Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y

agustín Riscos fernández, Eladio Domínguez Murillo, Francisco Jesús Martín Mateos, Joaquin Borrego Diaz, José Antonio Alonso Jimenez, Julio Jesús Rubio García

Modelos de induccion acotada.

Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones

Alejandro Fernandez Margarit, Carlos Martinez Alonso, Joaquin Borrego Diaz, José Antonio Alonso Jimenez, Luis María Laita De La Rica, Margarita Otero Dominguez