Cita APA

Hidalgo Doblado, M. J., Alonso Jiménez, J. A., Martín Mateos, F. J., & Ruiz Reina, J. L. (2008). Constructing Formally Verified Reasoners for the ALC Description Logic.

Citación estilo Chicago

Hidalgo Doblado, María José, José Antonio Alonso Jiménez, Francisco Jesús Martín Mateos, y José Luis Ruiz Reina. Constructing Formally Verified Reasoners for the ALC Description Logic. 2008.

Cita MLA

Hidalgo Doblado, María José, José Antonio Alonso Jiménez, Francisco Jesús Martín Mateos, y José Luis Ruiz Reina. Constructing Formally Verified Reasoners for the ALC Description Logic. 2008.