Ir al contenido

Documat


A special quantifier elimination algorithm for Pham Systems

  • Autores: Laureano González Vega Árbol académico
  • Localización: Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97], 1997, págs. 109-124
  • Idioma: inglés
  • Texto completo no disponible (Saber más ...)

Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno