Aristizábal, M. S. (2023). Arboles de Forzamiento Semántico para la Logica de Predicados.
Chicago Style (17th ed.) CitationAristizábal, Manuel Sierra. Arboles De Forzamiento Semántico Para La Logica De Predicados. 2023.
MLA (9th ed.) CitationAristizábal, Manuel Sierra. Arboles De Forzamiento Semántico Para La Logica De Predicados. 2023.
Warning: These citations may not always be 100% accurate.