El control automatizado de la coherencia de los sistemas de normas

• Autores: Julia Barragán
• Localización: Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 3, Nº 7-9, 1987-1988, págs. 515-526
• Idioma: español
• Texto completo no disponible (Saber más ...)