Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)

• Autores: Uwe Waldmann
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 33, Nº 6, 2002, págs. 831-861
• Idioma: inglés
• Texto completo no disponible (Saber más ...)