Martínez Alonso, J. C. (1996). Fundamentos de demostración automática de teoremas.
Citación estilo ChicagoMartínez Alonso, Juan Carlos. Fundamentos De Demostración Automática De Teoremas. 1996.
Cita MLAMartínez Alonso, Juan Carlos. Fundamentos De Demostración Automática De Teoremas. 1996.
Precaución: Estas citas no son 100% exactas.