Rodríguez Palomar, F. J., & Garrell i Guiu, J. M. (2000). Generación automática de estrategias de demostración para el entorno Llull utilizando métodos de IA.
Cita Chicago Style (17a ed.)Rodríguez Palomar, Francisco José, y Josep Maria Garrell i Guiu. Generación Automática De Estrategias De Demostración Para El Entorno Llull Utilizando Métodos De IA. 2000.
Cita MLA (9a ed.)Rodríguez Palomar, Francisco José, y Josep Maria Garrell i Guiu. Generación Automática De Estrategias De Demostración Para El Entorno Llull Utilizando Métodos De IA. 2000.
Precaución: Estas citas no son 100% exactas.
