Ficha Bibliográfica de la Ponencia Autores: Vázquez, A. y Aliseda Llera, Atocha Título de la ponencia: Abduction in Semantic Tableaux: Towards An Object-Oriented Programming Implementation Título de la memoria: Proceedings of the “Workshop on Computational Logic”, Segundo Encuentro Nacional de Computación País: México Lugar de publicación: México Año de publicación: 1999 Formato: Impreso Ficha PDF: Ir a formato PDF