Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral de Jesús Medina Moreno Se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general […]
Tesis doctoral de Quesada molina Juan José
Información academica Quesada molina Juan José. Tesis donde Quesada molina Juan José ha sido autor, director o parte del tribunal.
Bases de ideales en multirreticulos y delta-arboles
Tesis doctoral de Gloria Gutierrez Barranco El grupo de investigacion gimac ha desarrollado la metodología de demostracion automatica de teoremas
Contribucion al estudio de la sintesis de funciones de distribucion.
Tesis doctoral de Martul Alvarez De Neyra Ramon Jesús Datos académicos de la tesis doctoral «Contribucion al estudio de