Orbe, A. E. (2014). Simetrías en razonamiento automático: El caso de las lógicas modales y satisfacibilidad módulo teorías. Web
Citación estilo ChicagoOrbe, Alejandro Ezequiel. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2014.
Cita MLAOrbe, Alejandro Ezequiel. Simetrías En Razonamiento Automático: El Caso De Las Lógicas Modales Y Satisfacibilidad Módulo Teorías. 2014.
Precaución: Estas citas no son 100% exactas.