Citations refer to the original publication, not to a Scieee localized version.
Alonso Jiménez, J. A., & Briales Morales, E. (1987). Preuve automatique dans le calcul propositionnel et les logiques trivalentes. https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f
Alonso Jiménez, José Antonio, and Emilio Briales Morales. Preuve automatique dans le calcul propositionnel et les logiques trivalentes. 1987. https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f.
Alonso Jiménez, José Antonio, and Emilio Briales Morales. Preuve automatique dans le calcul propositionnel et les logiques trivalentes. 1987. https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f.
Alonso Jiménez, J. A. and Briales Morales, E. (1987) Preuve automatique dans le calcul propositionnel et les logiques trivalentes. Available at: https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f.
J. A. Alonso Jiménez and E. Briales Morales, “Preuve automatique dans le calcul propositionnel et les logiques trivalentes,” 1987. [Online]. Available: https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f
@misc{alonsojimenez1987preuve,
author = {Alonso Jiménez, José Antonio and Briales Morales, Emilio},
title = {Preuve automatique dans le calcul propositionnel et les logiques trivalentes},
year = {1987},
url = {https://idus.us.es/items/9a159c9a-124b-4098-a7c6-704a8c08ec2f}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
