González López, J. J. (2023). Resumen de tesis. Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL).
Citación estilo ChicagoGonzález López, José Javier. Resumen De Tesis. Una Traducción De La Teoría De Tipos Proposicional Híbrida Ecuacional (EHPTT) Hacia La Lógica Multivariada De Primer Orden (MSL). 2023.
Cita MLAGonzález López, José Javier. Resumen De Tesis. Una Traducción De La Teoría De Tipos Proposicional Híbrida Ecuacional (EHPTT) Hacia La Lógica Multivariada De Primer Orden (MSL). 2023.
Precaución: Estas citas no son 100% exactas.