Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS

Tipo Año Título Fuente
Ponencia2006tarfa: Tableaux and resolution for finite abductionLOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS