Fecha / Date: 23-10-2008.
Hora / Time: 9:30 h.
Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.
Ponente / Lecturer: Ángel Nepomuceno Fernández.
Título / Tittle: Abducción, tableaux y el proyecto LPIS.
Resumen / Abstract:
Adjunto | Tamaño |
---|---|
![]() | 58.83 KB |
![]() | 25.47 KB |
![]() | 1.11 MB |
![]() | 318.41 KB |