TY - JOUR AU - Delgado, Miguel AU - Sánchez, Daniel AU - Serrano, José María AU - Vila, M. Amparo TI - Un estudio de métodos para la evaluación de sentencias cuantificadas. JO - Mathware & soft computing PY - 2000 SP - 149 EP - 158 VL - 7 IS - 2-3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MSC_2000_2000_1_a9/ LA - en ID - MSC_2000_2000_1_a9 ER -