Ficha Bibliográfica de la Ponencia Autores: Aliseda Llera, Atocha; García de la Sierna, A. y Monteyano, J. Título de la ponencia: Matesis: Logical Reasoning by computer Título de la memoria: Memorias del congreso: “International Symposium on Structures in Mathematical Theories País: España Lugar de publicación: España Año de publicación: 1990 Formato: Impreso Ficha PDF: Ir a formato PDF