Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents

• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 24, Nº 1, 1997, págs. 59-101
• Idioma: inglés
• Texto completo no disponible (Saber más ...)