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 José Fernandez Prida
Información academica José Fernandez Prida. Tesis donde José Fernandez Prida ha sido autor, director o parte del tribunal.
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:
Inconmensurabilidad y racionalidad cientifica
Tesis doctoral de Inmaculada Fernandez Saez La nocion de inconmensurabilidad, que, aplicada a las teorias cientificas, aparece por primera vez
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