TY - GEN T1 - Caracterización deductiva de los árboles de forzamiento semántico A1 - Sierra A., Manuel. A2 - e-libro, Corp. LA - Spanish PP - Medellín (Colombia) PB - Red Ingeniería y Ciencia YR - 2006 UL - https://colectivo.uloyola.es/Record/ELB25842 OP - 32 CN - T57 S572 2006 KW - Matemática. : Aplicada. KW - Mathematics. : Applied. KW - Artículos electrónicos. ER -