Vés al contingut
Català
English
Español
Formulari de cerca
Cercar
Log-in
Quant a IIIA
Presentació
Història
Contribucions a l'inteligència artficial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicació
Treballa amb nosaltres
Departaments
Projectes
Projectes Actuals
Projectes finalitzats
Publicacions
Publications
Thesis
Persones
Jose Luis García Lapresta
Personal actual
Personal anterior
Activitats
Seminaris
Conferències
Doctoral Consortium
Notícies
Transferència
25è aniversari
Esteu 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