El Problema de satisfacibilidad en cláusulas de Horn multivaluadas

• Autores: Gonzalo Escalada Imaz
• Localización: Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 108, 1994, pág. 11
• Idioma: español
• Texto completo no disponible (Saber más ...)