|
|||||
Tesis Doctorales dirigidas Título: Functional Definability Issues in Logics Based on Triangular Norms Doctorando: Enrico Marchioni Universidad: Universidad deSalamanca Facultad / Escuela: Filosofía Fecha: Octubre 2006 Título: Modal Logic (of Predicates) and (Partial and Heterogeneous) Non-Classical Logic Doctorando: María Antonia Huertas Sánchez Universidad: Universidad de Barcelona Facultad / Escuela: Matemáticas Fecha: 28 de noviembre de 1994 Tesis de Máster dirigidas Título: Local Logics for Distributed Systems Doctorando: Julio Ostalé García Universidad: Universidad de Salamanca Facultad / Escuela: Filosofía Fecha: Diciembre 2006 Título: Conditional Measures of Uncertainty Framed in Fuzzy Logics Doctorando: Enrico Marchioni Universidad: Universidad de Salamanca Facultad / Escuela: Filosofía Fecha: Septiembre 2005 Proyectos de fin de carrera (alumnos de Ingeniería Técnica en Informática) Título: Logictest Alumno: Sonia Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2006 Título: Azafea Alumno: Silvia Nieto Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Junio 2006 Título: Modelos de Kripke. Véase software Alumno: Ana de la Viuda Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2005 Título: Diagramas Beta de Peirce Alumno: Montserrat Vicente Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2005 Título: Visual ITP Alumno: Raquel Sánchez Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2005 Título: MAFIA: Resolución de tableaux semánticos. Véase software Alumna: Elena Jorge Rico Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Julio 2005 Título: DiagVenn. Véase software Alumno: Eduardo Galán Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Julio 2005 Título: Diagramas ALFA de Peirce. Véase software Alumno: Ignacio García Paredes Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2001 Título: El detective UIELSS Alumno: Nuria Iglesias Marmierca Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2001 Título: Biblioteca digital: Summa Logicae en el siglo XXI Alumno: Iván Marcos Poza Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Julio 2001 Título: TELOMA (Test de Lógica y Matemáticas) Alumno: Carlos Rodríguez Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Julio 2001 Título: Traductor de Lógica (Modal de primer orden a heterogénea y parcial) Alumno: Raquel Caño Mateos Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 2001 |
|||||
- | |||||
|
|||||
- | |||||
Título: Tutor inteligente de
Lógica. (Tableaux semánticos) Alumno: Jose Carlos Blanco García Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 1999 Título: Traductor de Lógicas : modal a multivariada. Alumno: Iván Marcos Poza Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Marzo 1999. Título: TOOLS FOR TEACHING (I). Alumno: Rubén Simón Conde. Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Marzo 1999 Título: CALCULUS RATIOCINATOR (I) (Demostrador de teoremas) Alumno: Jorge Hernández. Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Marzo 1999 Título: Los Enigmas de Ulises Alumno: Aitor Mata Conde Universidad: Universidad de Salamanca Facultad / Escuela: Ciencias. Título: Ingeniero en Informática Fecha: Septiembre 1998 |
|||||