Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales
Tesis doctoral de Enrique Gallego Castaño El objetivo de esta memoria es analizar las tecnicas para la demostracion de la […]
Tesis doctoral sobre Logica formal
Accede a todas las tesis doctorales sobre Logica formal mas relevantes.
Aproximaciones computacionales, dinamicas y topologicas al estudio del metabolismo
Tesis doctoral de Raul Montañez Martinez El trabajo se centra en el estudio del metabolismo siguiendo dos aproximaciones diferentes, la
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de
Accion colectiva: bases conceptuales y logicas.
Tesis doctoral de Arrazola Iturbe Joseba Xabier La tesis plantea las bases conceptuales (parte i), tanto filosoficas como de la
Fundamentos logico-conceptuales para una teoria general de la racionalidad: razonamiento teorico y practico
Tesis doctoral de Perez Miranda Luis Angel En el primer capitulo mostramos que la critica al enfoque logico clasico, en
Logica para la inteligencia artificial: conocimiento creencia e intencion.
Tesis doctoral de Agustin Arrieta Urtizberea En este trabajo hemos desarrollado dos temas que resultan relevantes en el mundo de
Forma logica en semantica del razonamiento acerca de conocimiento y semantica de situaciones
Tesis doctoral de Migura Zanguitu V. Fernando La tesis se articula en dos partes: la primera se centra en el