Tesis doctorales de José Fernandez Prida

Lt-equiValencia.

Tesis doctoral de Carlos Martinez Alonso Datos académicos de la tesis doctoral «Lt-equiValencia.« Título de la tesis: Lt-equiValencia. Autor: […]

Bou Mas De Xexas Alberto, Carlos Martinez Alonso, Enrique Lines Escardo, Etayo Miqueo José Javier, Jorg Flum, José Fernandez Prida

Inconmensurabilidad y racionalidad cientifica

Tesis doctoral de Inmaculada Fernandez Saez La nocion de inconmensurabilidad, que, aplicada a las teorias cientificas, aparece por primera vez

Andrés Rivadulla rodriguez, Inmaculada Fernandez Saez, José Fernandez Prida, Juan Carlos Garcia-bermejo ochoa, Julio Armero, Miguel Angel Quintanilla Fisac

Verificacion de bases de conocimiento.

Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para

Betty Ramirez Nieves, José Cueva Bartolome, José Fernandez Prida, José Luis Maté Hernández, Juan Pazos Sierra, Luis María Laita De La Rica

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

Anselmo Romaniega Langa, José Fernandez Prida, Juan Pazos Sierra, Luis María Laita De La Rica, Manuel Alfonseca Moreno, Scala Estalella Juan Jose