Citations refer to the original publication, not to a Scieee localized version.
Santiago Fernández, S. (2020). Elementos de lógica formalizados en Isabelle/HOL. https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe
Santiago Fernández, Sofía. Elementos de lógica formalizados en Isabelle/HOL. 2020. https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe.
Santiago Fernández, Sofía. Elementos de lógica formalizados en Isabelle/HOL. 2020. https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe.
Santiago Fernández, S. (2020) Elementos de lógica formalizados en Isabelle/HOL. Available at: https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe.
S. Santiago Fernández, “Elementos de lógica formalizados en Isabelle/HOL,” 2020. [Online]. Available: https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe
@misc{santiagofernandez2020elementos,
author = {Santiago Fernández, Sofía},
title = {Elementos de lógica formalizados en Isabelle/HOL},
year = {2020},
url = {https://idus.us.es/items/e104ba49-7d07-499b-bc0f-e3d8a67de1fe}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
