Linearización de árboles: algoritmo para el cálculo veritativo-funcional de Anderson y Benalp

• Autores: J. M. Lorente
• Localización: Quaderns de Filosofia i Ciència, ISSN-e 0213-5965, Nº. 9-10, 1986, págs. 67-76
• Idioma: español
• Texto completo no disponible (Saber más ...)