TY - CHAP AU - Garduño-Soto, Gabriel AU - García, David René Thierry AU - Uribe, Rafael Vidal AU - Chacón, Hugo Padilla ED - Garduño-Soto, Gabriel ED - García, David René Thierry ED - Uribe, Rafael Vidal ED - Chacón, Hugo Padilla PB - National Autonomous University of Mexico PY - 1990 T2 - VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. TI - Sistema Experto en Deducción dentro de la Lógica Normal Trivalente ER -