Citar esta página
Datos bibliográficos sobre Demostración automática de teoremas
- Nombre de la página: Demostración automática de teoremas
- Autor: EcuRed contributors
- Editor: EcuRed, .
- Fecha de la última revisión: 4 agosto 2019 14:13 UTC
- Fecha obtenida: 4 mayo 2024 14:17 UTC
- Dirección URL permanente: https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276
- Identificador de versión de la página: 3488276
Estilo de citas para Demostración automática de teoremas
Estilo APA
Demostración automática de teoremas. (2019, agosto 4). EcuRed, . Consultado el 14:17, mayo 4, 2024 en https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276.
Estilo MLA
"Demostración automática de teoremas." EcuRed, . 4 ago 2019, 14:13 UTC. 4 may 2024, 14:17 <https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276>.
Estilo MHRA
Colaboradores de EcuRed, 'Demostración automática de teoremas', EcuRed, , 4 agosto 2019, 14:13 UTC, <https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276> [consultado el 4 mayo 2024]
Estilo Chicago
Colaboradores de EcuRed, "Demostración automática de teoremas," EcuRed, , https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276 (consultado el mayo 4, 2024).
Estilo CBE/CSE
Colaboradores de EcuRed. Demostración automática de teoremas [Internet]. EcuRed, ; 2019 ago 4, 14:13 UTC [citado el 2024 may 4]. Disponible en: https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276.
Estilo Bluebook
Demostración automática de teoremas, https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276 (última visita: mayo 4, 2024).
Entrada BibTeX
@misc{ wiki:xxx, autor = "EcuRed", título = "Demostración automática de teoremas --- EcuRed{,} ", año = "2019", url = "https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276", nota = "[En línea; consultado el 4-mayo-2024]" }
Cuando se utiliza la dirección URL de empaquetamiento LaTeX (\usepackage{url}
en algún lugar del preámbulo) que tiende a dar direcciones web con un formato más agradable, se prefiere lo siguiente:
@misc{ wiki:xxx, autor = "EcuRed", título = "Demostración automática de teoremas --- EcuRed{,} ", año = "2019", url = "\url{https://www.ecured.cu/index.php?title=Demostraci%C3%B3n_autom%C3%A1tica_de_teoremas&oldid=3488276}", nota = "[En línea; consultado el 4-mayo-2024]" }