Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Jose Luis García Lapresta
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
Usted está aquí
Home
>
Personal
>
Jose Luis García Lapresta
Jose Luis García Lapresta
Jose Luis García Lapresta
Personal actual
Personal anterior
Position:
Co-Autors
Publications
Projects
1 Publications
2004
Fèlix Bou
,
Josep Maria Font
,
Jose Luis Garcia Lapresta
;
On weakening the Deduction Theorem and strengthening Modus Ponens
.
Mathematical Logic Quaterly;
2004.
Download PDF
No results found
Download PDF