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 […]
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tesis doctoral de Francisco Jesús Martín Mateos En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y […]
Tesis doctoral de Ivan Arribas Fernández El primer capítulo caracteriza los equilibrios consistentes en juegos finitamente repetidos bipersonales por medio
Tesis doctoral de Miguel Angel Gutierrez Naranjo En esta memoria hemos estudiado los procesos de generalización, el paso de lo
Tesis doctoral de María Asunción Estrada Roca En esta tesis nos hemos interesado por el estudio de los conocimientos y
Tesis doctoral de Juan José Montaño Moreno Este trabajo describe tres líneas de investigación desarrolladas en los últimos cinco años
Tesis doctoral de González Astudillo M. Teresa En la transmisión del conocimiento matemático, ha constituído un hito importante la aparición
Tesis doctoral de Rafael Molina Carmona Se presenta un nuevo modelo geométrico para la definición de objetos tridimensionales. Con ello
Tesis doctoral de Satorre Cuerda Rosa Ana Se presenta un método de emparejamiento para resolver el problema de la correspondencia
Tesis doctoral de Carlos Rodríguez-flores Esparza La teoría de formación del germen vesicular describe la formación y evolución de los
Tesis doctoral de Irene Epifanio López Se ha tratado el problema de la representación de texturas tanto para su clasificación