Metesis: Logical Reasoning by Computer

• Autores: J.J. Montellano, Adolfo García de la Sienra, A. Aliseda
• Localización: Structures in mathematical theories : reports of the San Sebastián International Symposium, september 25-29, 1990, 1990, ISBN 84-7585-263-7, págs. 161-164
• Idioma: español
• Texto completo no disponible (Saber más ...)