Cita APA

Mac Donnell, P., & Aguirre, N. M. (2005). Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden. Web

Citación estilo Chicago

Mac Donnell, Patricio, and Nazareno Matías Aguirre. Usando El Ambiente Maude Para La Demostración Semi-automática De Teoremas En Lógica Temporal Lineal De Primer Orden. 2005.

Cita MLA

Mac Donnell, Patricio, and Nazareno Matías Aguirre. Usando El Ambiente Maude Para La Demostración Semi-automática De Teoremas En Lógica Temporal Lineal De Primer Orden. 2005.