Optimizaciones para el método de negación constructiva ecuacional

Piris Ruano Francisco Javier, ARMANDO MORA, Ramírez Quintana María José

1993

Optimizaciones para el método de negación constructiva ecuacional