Cita APA

Medina Bulo, I. (2003). Verificación formal en ACL2 del Algoritmo de Buchberger.

Citación estilo Chicago

Medina Bulo, Inmaculada. Verificación Formal En ACL2 Del Algoritmo De Buchberger. 2003.

Cita MLA

Medina Bulo, Inmaculada. Verificación Formal En ACL2 Del Algoritmo De Buchberger. 2003.

Precaución: Estas citas no son 100% exactas.